made higher order unification work with the sequence