worklog
rename report
make document about the compiler, not just typechecker
skeleton, parameter passing semantics
wording