WIP. need to rename a parameter in a FunBind