haxr representation of Booleans