添加完整的等价类型