Respect inScopeSet invariant in substAltR!
Rename safeBndrFrees to freeVarsVar and use it to prevent bug in letUnfloatCaseR
Rename let-unfloat to let-float-in, and fix binder duplication issue.