Add beta reduction (one- and multi-step)
Rename beta reduction module
Merge pull request #7 from knuton/beta-red

Add beta reduction (one- and multi-step)