Delay substitutions in Simplify
Delay substitutions in Simplify

Eager substitutions make this pass quadratic, which is obviously not
great for our compile times.

google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang