chore(library/hott) made ua_implies_funext a class instance