Model an Actual Value for Types (including Type Aliases)

[JasonSteving99]

Currently there's no way of representing a Type as a first order value in Claro. In order to support higher order metaprogramming we need to at least start here. For now, I'd be happy with this just involving adding the intermediaterepresentation/ types to generated output as values that can be passed around. This implies that a new meta BaseType.TYPE will be needed.