Compare Foralls structurally in unification