subtract package:LambdaHack

the same as flip (-). Because - is treated specially in the Haskell grammar, (- e) is not a section, but an application of prefix negation. However, (subtract exp) is equivalent to the disallowed section.
Subtraction of time deltas. The arguments are in the same order as in the underlying scalar subtraction.