lenient evaluation
An {evaluation strategy}, described in [Traub, FPCA 89], under
which all {redex}es are evaluated in parallel except inside
the arms of conditionals and inside {lambda abstraction}s.
This is an example of an {eager} evaluation strategy.