Lambda Calculus Reducer

A reducer for the lambda calculus, implemented in Snap! in an impurely functional style.

- Unique IDs are used to simplify alpha-conversion.
- The normal-order reduction strategy is used.
- The resulting terms are pure data and can be serialized or converted into other languages.