Experimenting with evaluators from SICP and EOPL