This fixes some issues in GPS and RustBelt-relaxed, where the old unification algorithm is now too weak.