rational terms improved, with unification, equality, substitution and De Bruijn index
quick tests