feat(library/hott) add calc environment for equivalences