As for booleans I don't consider macros and further macros which are part of the library as a datatype, but yes of course they are in the core language. What I wanted to express was that booleans are nothing more than integers with sugar sprinkled over the top. You're right.