A new approach to compiling fexprs. It’s simple: fexprs can’t mutate the lexical environment in which they are called. Downside: you can’t create fexprs like (define-class x …), you need to write (define x (make-class …)) Comments