Added implementation to map supertypes of non-recursive case classes to a union of all child case classes viewable from the runtime class loader.  Added examples to the documentation for same.