No exceptions. No exceptions to exceptions. And it has nothing to do with types.

Utter ribald twaddle!

I said: "There are some exceptions to 1 above.". And in that context, the rest of what I said is completely accurate.

I didn't set out to define what is false, just answer the OPs question.

If you follow a set of directions, but start at a completely different place, you will end up getting lost in your own confusion.