Forward declaration of enumerations (revision 3)

Allows opaque (forward) declarations of enumerations with fixed underlying types. Core paper.