Type alias SpecTypeNames<T>

Converts a SpecTypeOrDict to its corresponding SpecTypeName (if T is a SpecType) or SpecTypeNamesDict (if T a dict whose values are SpecTypes).