Correction in type equivalence

Had forgotten the symmetry