note about clos instance disjointness

[Gregor.pa@Xerox.COM]

I don't know exactly where this would fit in in the document, but we
need to say that instances of standard-classes have type disjoint with
all other types.  This is kind of obvious of course, but should be made
explicit.