Surprisingly sensible. I wonder if compiler magic could, in theory, reduce enums that have only two options down to a single bit, but still provide all the type safety guarantees. Or maybe provide another primitive just for that purpose.
Particularly with a new primitive, you could literally have a language that just doesn't allow you to define generic booleans.
