Clarify discriminator + oneOf/anyOf/allOf usage (3.0.4)

This moves some guidance up to the fixed fields section where
it is more obvious, and explicitly designates other configurations
as having undefined behavior.