We have `supertype(Bool) = Integer`. Should there be a special case or 0-1?
We have
supertype(Bool) = Integer. Should there be a special case or 0-1?