This is very interesting!  But I think it needs FSet (https://github.com/slburson/fset) to store the state of an actor, and make it easy to efficiently compute a new state which can be supplied to BECOME.

-- Scott