Enable OverlappedInstances in Logging.hs.

This is needed for specialized MonadLogPure instance for Agent to
work.
Some rudimentary simulation. Finally.