Type-safe enumerations

This section is a work in progress and is not yet available. I aim to complete it as quickly as possible.