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