Detect G constructures.
Numerals.
Abstractness and freeness for structures.
Always add the freeness condition.
Requirements 32 and 33.
Typing for structure constructors.
Render abstractness.