Infrastructure for types that have a local and a global form
A wrapper around the local and global forms of a type
Implemented for types that are the local form of a global type
