Cover triple terms in definition of ORDER BY

[hartig]

The definition of ORDER BY needs to be extended to cover cases that involve triple terms.

We already had something for it in the CG report: see Section 4.4.11 (Triple terms with ORDER BY)

[rubensworks]

#289