Right, but both (a) and (b) do apply to the existing system where domain names can be traded. What Coase theorem says is that the resulting allocation will be efficient, regardless of how you do the initial allocation. I.e. it's irrelevant whether people pay squatters to get the domain names they want or ICAAN directly via auctions.