SECD machine and Lispkit Lisp compiler, in Python