Remember to walk function bodies when boxing locals
Implement boxes as boxes, instead of cheating
Typos

No doubt paredit would have saved me. But I hate paredit.