fix(library/hott) fix funext.lean by making funext an instance