Typed StockFlows

[neonWhiteout]

Thinking the new category will have an arrow from each link to a type, that being the result of whatever the combination of the two is. Differences would be with O and I - maybe have a direct link with S and V with the same type? and maybe LS, where the type wouldn't change.

Will take some thinking.

[jpfairbanks]

Ideally this would just be a slice category in the category of stock flows. So objects are homs into a fixed object and morphisms are commuting triangles.