Formalize the Jackson subtype discovery.