Comment by woodruffw

You're not wrong. For the most part, these would be relatively easy to implement.

Pure functions are the hardest of the ones you've identified -- they're nominally easy if you have perfect purity information, but pretty difficult (impossible, in the general case) if you don't or if your definition of "pure" is just plain incorrect (like V's is).