First class types

[giann]

First class types

type myType = <str>;

fun handleAnything(any value) -> typeOf(value) == myType;

• Types as value
• typeof operator

Edge cases:

• We would expect a reference to MyObject to be a type, but it's not. It's a reference to the value ObjObject. So user whishing to get the MyObject type would have to do: typeof MyObject.
• On the other hand, a foreign struct is an ObjTypeDef at runtime so we don't need the typeof operator to get its type.
• Same for Protocol whose runtime representation is also an ObjTypeDef