2.6 state

This exercise is optional. Refer to the exercise policy for details.
Extend your ISWIM interpreter and machine with mutation and a basic type checker.