Domain/OS calls: type_$

Domain/OS calls: type_$

Types: objects are instances of types