Added framework for Section 8 as well as an implementation of the Globals Type Derivation relation.