2.7 ty1

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