2.6 state

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