Implemented BoolType#Not
Made the override of BoolType.Not explicit
Implemented BoolType.Or, and made the BoolVal one more proper