Build Prove Compare Student Code

Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey