feat(library/hott) use class inference for IsEquiv