Whitespace fixes.
The maybe_error type is now polymorphic in the type of error

The maybe_error type now takes a second type argument allowing users to
customise the type of error that can be represented.

library/maybe.m:
    As above.

NEWS:
    Add a dot point for this change.
Fixs based on code review feedback.