hackBinders for arrow rule

optimistically replace binders of RHS arrow with those from LHS.
z3 should complain if the old binders mentioned in refinements.
remove this once the general case is added back in.