knotTie to make explicit loops and delays
Interpretations of Mealy machines.
arrows, Stream, for Mealy interpretation
"OldState" --> "State"