simplify equals method
simplify resolution walk method and make param order consistent with curried function