Idea just came to me. What about notifying the compiler which
enums can be used in final switches (and perhaps should be more
stringent in allowing math operations):
final enum name { ... }
Yes, this is a good name for the new type."enum" and "final enum" make a better pair than "partial_enum" and "enum" as I have suggested.
