In principle, these double phases should work without problems,
but they issue the error

"qualBindTopEnv _#case6" failed in function "Env.Value.bindFun"

so further investigation is needed

Nonlinear patterns have to be desugared first to eliminate multiple occurrences
of the same variable outside the scope of a single functional pattern.
This commit changes the order of pattern desugaring in that desugaring of
nonlinear patterns is now performed first.
Consequently, functional patterns have to be considered when eliminating
nonlinear patterns and the implementation is adapted accordingly.

In HTML5, the link to an entity, which is given as the href attribute
of an anchor tag, may only contain unreserved characters (see RFC 3986).
All other characters have to be "percent"-encoded. However, this is not
true for the id attribute definining the target of the link, which may
contain arbitrary (non-whitespace) characters. In consequence, the name
of an entity (function/constructor) must be encoded for the link, but
must not be encoded for the definition.