Annotations for functional_enum

This package defines annotations that are used by the functional_enum package.