subcategories now use the more generic subtyping mechanism