underline definite binders add rename/shift mapping so module final term retains binding info svn: r12843
svn: r12825