Add a Function Success State

If a function completes its execution without rolling back, then there should be a state that indicates this occurs.

We require this for the Query, so that we can ask: "Can we get to this state with this value and NOT roll back"

Relies upon #5 (closed) and #4 (closed)