Stage 3: Recasting Objects
Allow objects to belong to multiple incompatible types
- consider clustered types extensional
- compute MaxFP with respect to data and clustered types
Example: someone with an advisor and an advisee will be typed as both a professor and a student