Add "not" helper to the FP module

[lazarljubenovic]

I think it's not gonna be straightforward at all to cover all cases with overloads. But it should at least work nicely with most of the guards.

I'm not even sure how to manually write the type for "everything but not a number". Ideally, the else branch also needs to work, where it would be a number.