updated the docstring of
pattern-conditions. or-pattern-binding-mismatch-error is renamed to
or-pattern-binding-mismatch and it is no more an error (it's just
warning now).