chore(library/hott) structures and naming of hott files

change equiv.lean and dependent files to use structures and improved some of the naming