Add a few notes
factor out common S-expression logic
fix copy/paste bug
maintain an explicit varstack

eliminates the need to copy all ivars