Beginning of a unified TypeDefinition module