Created the InvocationValue Monad

And used it successfully in _hasProperty.  This feels terribly good:
after far too long, I feel like I finally have an approach to coding
Functions that doesn't suck.