Fix up cross references
Improve error handling
Add comments
Add some tests around parser and macroexpander
Add unused term error
Allow binding of values directly to Node
start on pretty printer