Simple types

Simple types are primitives with additional restrictions relevant to their domain.