Back out changes that delayed applying substituions when composing.
Back out changes that delayed applying substituions when composing.

Although this does reduce garbage produced when evaluating, it is a
major slowdown on some typechecking tasks (in particular, the typechecking
of large arrays of literals).

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol