Tighten up wording in the section on let-generalisation and MonoLocalBinds