Shplait Function 1 Representation

Summary

Representing and interpreting a simple language of arithmetic expressions. Distinguishing expressions from values, and treating Numbers, booleans, strings, and symbols. Local bindings via `let` can be implemented by making Moe's `parse` convert it into an immediately applied `fun` form. Introduction and goals of type checking for classes. Types as a way of avoiding errors during `interp`. Goal: use let and lambda to encode a recursive letrec expression. General strategy for interpreting Shows a simplistic encoding of objects as