(Nominal) Unification by Recursive Descent with Triangular Substitutions