A lazy & analyzing evaluator for a subset of Scheme, written in Scheme (Metacircular! based off of SICP Chapter 4)