Booleans as a data type

[darrylabbate]

The lack of dedicated booleans (true, false) is kind of a Norman door for a high-level language. Adding support for booleans is trivial; the only thing to really figure out is how to handle interoperability with arithmetic without adding any overhead with regard to type dispatch.