Add beta reduction (one- and multi-step)