2.7 ty1

This exercise is optional. Refer to the exercise policy for details.
Extend your ISWIM interpreter with type inference.