Program type definitions.
Note that account and event type definitions are not included in this module, as they have their own dedicated modules.