define-domain-types

For new modules: define type aliases as vocabulary, make code self-documenting, create domain-specific language feel.