Added builtin 'bool' type.
Boolean binary operators now return builtin type 'bool'.