Rename Subtyped to Discoverable.

Makes more sense.