Begin bootstrapping (maybe)

I'm not sure if this is the right approach.
Add definitions to be used by syntax-1
Remove old notes and unnecessary code
Remove unused tuple code
s/penv-init/penv-init-0
Add step-complete and corresponding interaction