NonFunction typeclass

The typeclass exists to allow == and Basics.compare to throw a compiler error when any of their arguments contain functions.

I am not aware of any cases where function comparison is actually useful, however it is much easier to implement than NonFunction, so at least for the time being instead than fixing NonFunction I will deprecate and remove it, and implement function comparison.