Make EVAL and APPLY smaller

(Also shortcut inlining for boolElim, until we make it more general,
which is the source of a lot of the cases in EVAL in practice)