Builtin types defined in `builtins` module

[LightAndLight]

Currently all builtin types (e.g. String, Int) have their own constructor in the Type enum. I think these constructors should be removed, in favour of defining the builtin types in the builtins module, in the same way that builtin functions are defined.