pub fn deep_underlying_type(t: TypeKey, objs: &TCObjects) -> TypeKey
deep_underlying_type returns the ‘deep’ underlying type of type ‘t’ chains only exist while named types are incomplete.