Extend your ISWIM interpreter and machine (if you only do one: do the machine) with mutation and a basic type checker.