Enhance `write-body` so that it can take forms that
contain either :result :statements or both.
Implement `let` writer.
Implement `loop` writer.
Implement function writer.