Now that Obj.type is renamed to typeof, I think it might make sense to rename these APIs:

Field.of   =>  Field.type
Param.of   =>  Param.type
Symbol.of  =>  Symbol.type

Comments?

+1 make sense

+1. Though wouldn't it be more consistent to use typeof?

Though wouldn't it be more consistent to use typeof?

Field.typeof is Field#, this is the method to get the field's type.

What about List.of?

What about List.of?

I still think that method if still correct, because it the type of the items we care about. In fact that was one of the things I disliked about using of for Field,Param was that it was slightly inconsistent with List.of.