Tightened scoping and added a representation for enumerations.

- Enumerations are, for now, forced to a uint32_t representation
- Added `Cauterize.[method]` qualifiers to all in-source usage (in lib and spec). This doesn't affect how the Cauterize definition files work.