feat(library/hott) make axioms typeclass instances

implement leo's proposal about axioms as typeclasses