rename a bound variable in the definition of resolve

to avoid having variables with the same name at different types, which
might cause problems when using the experimental kernel... maybe..