bool: implement Ord and TotalOrd