more arbitrary instances
bugfixes in unification (type error case) and Dtree traversal