Add types, builders, built-ins, and utils to help with type inference

[kevinbarabash]

This doesn't do anything to add type inference itself to the main compiler code, but provides some of the building blocks we'll need to do so in the future.