Definition: Builtins always have types
Show Builtin types