Hierarchies
Dispatching conflicts
Type tags
User-defined hierarchies