Implement reentrant coroutine states

[Kordyjan]

Some executors (eg. monadic reflection executor for list monad) may require entering single state multiple times. It is important not to make sure that the lifted vals has correct values all the time. They should be cached and cache key should be included in the coroutine's StateId.