Generalised congruence combinators (buggy though).
Fixed letR bug.
Corrected QSort script.