Add some typeclass glue to FunextVarieties

This way, if we happen to have hypotheses of `WeakFunext` or `NaiveFunext` floating around, we get `Funext` automatically.