Fixed typing error messages.

Before, when the second argument in a >= expression has a type error
in, we print the type of the first argument.
Exercise 2: Push through && and || to code generation

Finished! I use De Morgan’s law for or.