Enumeration Types #3
Description
We need some sort of enumeration type. We could add a Fin N type for a static N, or we could just implement Void, Unit, and Bool, which are sufficient. I'm thinking that we can do the latter, and then expose more user-friendly enumerations via elaboration.