error messages
working on types
symbol tables
type thinking