[tmp] Formatters and state progress events

* SimpleLogFormatter

* Added State-specific event types to ProgressEventType.