Fix manual regarding current state of implicit quantification

See also #4426
Release notes: mention -XEmptyCase