Start working on a new version 1.4.1.
The Transform type allows modeling analogous circuits. It is ArrowLoop, but it is not ArrowChoice, which seems to be reasonable. It naturally represents integrals and difference equations. Also it allocates arrays for memoisation.