Comments & type annotations

Adds nodes for comments and for various type annotations

CC @jeffmo
Can you move these out of `def/core.js`, since they're not really part of the core API?