Action monad now run in Handler monad

This is in preparation for extending the Action monad with a state
component and a suite of operations to read some information from the
retcon data store.