removed direction of type unification in Meta-Inst (I don't think it's useful), and some more debugging options