Please take a look at the following

Do we really need a builtin bool type? Why not just emulate it in the existing language?
http://www.gotw.ca/gotw/026.htm