Code for today's lecture - comments are still to add
Try optimizing/normalizing expressions in one step

Combine shortcut fusion and beta reduction in a single optimization
step.