2.3 machine

Refer to the exercise policy for details.
Implement a machine (e.g. CEK) to evaluate ISWIM with a small set of primitive operations for basic arithmetic.