Types

Shim built-in types, their semantics and their methods.