Check all unknowns become quantified at the top level. Fix row unification bug./