chore(library/hott) change equiv.lean to use structures and more typeclass inference
chore(library/hott) change naming to leo's naming proposal
chore(library/hott) change naming in equiv_precomp
chore(library/hott) change is_pointed to structure
chore(library/hott) change is_pointed to structure