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. Goal: use let and lambda to encode a recursive letrec expression. 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. General strategy for interpreting Types as a way of avoiding errors during `interp`. Shows a simplistic encoding of objects as