Add true and false as tokens.
Add beginning of type checking, and correct ordering of comparison operators.