Finalise linear lets
This MR finalises the implementation of linear lets based on the latest discussions of the committee.
It affects (only):
- Error messages generated by non-linear patterns
- Missing documentation in the user manual.
@bgamari this should be part of GHC 9.10 .