Compiler produces unique TypeDefinition names.