semi-stable structural type equality