An ABL-to-Lisp source-to-source compiler, plus backend implementation