Breaking the type tree with modifiers A language’s type hierarchy is formed with both linking and attributes. But what if a uniform hierarchy is not the correct way to represent a