defclasses
pnode->gnode by methods keyed on the pnode's subclass

ad-hoc polymorphism
currying (depends on type calculus)
local functions (where)
syntax sugar: [1, 2] for (cons 1 (cons 2 nil)); maybe others?
pretty printing