CGlobalType

Global type: used for various kinds of types of which there are one per program: false, unit, void, any.