Switched polymorphic and concrete type synonyms
Updated documentation