Added the yieldEvent function.
The Arrival type is polymorphic now.
Added functions dequeueingStream and signalStream.
Added function streamSignal and removed the useless function dequeueingStream that had been recently added.
Removed the obsolete comments. The Processor computation is definitely not ArrowLoop.
Using pure values in the SystemDynamics module whenever possible.
Added function memoEventInTime.
Added an experimental Circuit type.
Introduced an explicit memoization in the Circuit type, which solves a huge number of problems, especially in a newtype Transform a b = DynamicsMemo a -> Simulation (DynamicsMemo b) that I'm going to add soon.