Always generalise top-level bindings
Fix #21023 (closed) by always generalising top-level binding; change the documentation of -XMonoLocalBinds to match.
Fix #21023 (closed) by always generalising top-level binding; change the documentation of -XMonoLocalBinds to match.