* Lars Marius Garshol | | It's not a given that either all subtypes will be disjoint or none | will be. No, I wasn't suggesting that. The new mechanism I have proposed should supplement the old one, not replace it. Steve