Nary unification now uses Sequence (simpler, more efficient)