chore(library/hott) clean up Equiv namespace