Do not use TypeDefinition copying just yet