Better pretty printing of types when not equal

When converting, if you cannot convert from one modules type to another it only prints the name without the module which is confusing. We could consider changing at least maybe the repr of the type to print the module as well… So that we can know which module things come from for debugging