avoid modules in typename string

src/meta.jl

@@ -34,7 +34,7 @@ translate_type_to_pm_string(::Type{<:Base.Integer}) = "Integer"
 translate_type_to_pm_string(::Type{<:OscarNumber}) = "OscarNumber"
 translate_type_to_pm_string(::typeof(min)) = "Min"
 translate_type_to_pm_string(::typeof(max)) = "Max"
-translate_type_to_pm_string(::Type{T}) where T <: DirType = string(T)
+translate_type_to_pm_string(::Type{T}) where T <: DirType = string(nameof(T))
 translate_type_to_pm_string(::Type{<:QuadraticExtension{T}}) where T = string("QuadraticExtension<", translate_type_to_pm_string(T), ">")
 
 translate_type_to_pm_string(T) = throw(DomainError(T, "$T has been passed as a type parameter but no translation to a C++ template was defined. You may define such translation by appropriately extending