Kore REPL Sample Interaction Idea #1

Left: Input and output
                                        Right: Commentary
Kore> step 100
                                        -- After a long time...
^C
Stopped after 17 step(s) due to user interrupt
Kore> config
...
                                        -- Notice some suspicious symbols in
                                        -- the configuration.
Kore> reduce LblFoo
                                        -- Simplify by applying only the rules
                                        -- for symbol LblFoo
Done after 3 reductions.
Kore> config
...
Kore> reduce LblBar
                                        -- After a long time...
^C
Stopped after 1,876,342 reductions due to user interrupt.
                                        -- "Gee, that seems like a lot."
Kore> reduce 1 LblBar
Stopped after 1 reduction due to reduction limit.
Kore> config
...
                                        -- "Oh, now I understand why it loops!"