Has anyone implemented Abelson and Sussman's metacircular evaluator (as detailed in "Structure and Interpretation of Computer Programs")? I would like to use it but I would like to avoid typing it in if possible. -------