Symbol: types_equiv