dagrt unifier: Support limited unification modulo identity.

This is needed to cleanly handle implicit RK methods, whose equations
could be missing some terms.