Binder: Some renames
AddNames: OldExpression,NewExpression type aliases
Only non-lambda-binder params hide the lambda