show how you print a type, data, a stack trace in gdb
document compiler transformations ast -> vm, several of them are non-intuitive (table (expr))
how globals are read
how mixins work
how the threading model should be added
why control keywords like if/else are no keywords, are not needed to be in the grammar, just specialized in the compiler.