Added a strengthening clause to parallel reduction

This is useful for extensions where a C |- T ~> T' is
required in a context C;D where D are only expression
variable bindings. MatchPair is such an example.
Cleanup
An alternative desugaring using let