fix(library/hott) fix equiv_precomp, doesn't look nice now