name -> symbol
use true and false by themselves
true and false should be treated as characters
Add yacc file and simplify things
fix errors in parser and add types