Added support for resolving sorts in cases where the sort was imported, only a sort could be used, but it is not in the type environment because of a clash with an abstract type of the same name