> They are two completely different data types that happen to have identical approximate representations but should be distinguished very strictly in a sufficie

> They are two completely different data types that happen to have identical approximate representations but should be distinguished very strictly in a sufficiently expressive model. About bools: that's my problem with this. If-statements now operate on anything, instead of just bools. And I don't think that makes sense, unless cheese. About strings: It's great you can statically differentiate between their types. But if strings don't exist, it makes it a little hard to write WHERE clauses.