Notes from A Universal Calculus for Stream Processing Languages (Extended)