Booleans

[JacquelineCasey]

Add Booleans and related constructs.

• Boolean Type
• Boolean Literals
• 6 standard integer comparison operators
• if expression (with else)
  • Should always require a block, and takes on the type of the block, which must be unit if no else is provided.

[JacquelineCasey]

Boolean type and boolean literals are done. They were pretty easy. Working on if statements.

[JacquelineCasey]

Postponing else to another time. It is a bit harder than it looks, as we might need to do actual type unification...