Inference on field types?

[Benny]

I looked it up, Symbol and Tuples of Symbols are hard-coded exceptions to the isbitstype parameter rule, very interesting.