I don't see any difference in the way you talk about the domains and the general programming concept of type. You can have more fine grained types - it's just a kind of tradeoff.