WIP: compiler.lisp uses a explicit back-end representation