fix(library/unifier): postpone class-instance constraints whose type could not be inferred
fix(library/unifier): postpone class-instance constraints whose type could not be inferred