do you have a reference for how to use static typing for polars columns? I haven't seen this in their docs...