Change FSM format, making it more programmable.
Update docs.