Miscellanous types

This module defines a miscellaneously collection of very simple types that

• have no other obvious home,
• don't depend on any other complicated types, and
• are used in more than one "part" of the compiler.

NB: Supplants BasicTypes.