Builtin types and a type table