can now build up an ast with one expression only, need to add type annotations
type checking almost complete, need to refactor how operation and constant tokens are found