Add ideas.txt
Read type expressions
Free tokens when we're done with them
Add Keyword type
Make ':' a symbol rather than a Keyword
Add annotation expressions
Added type assertions