altos/lisp: Take advantage of implicit progns in hanoi demo