Mon Jan 28 00:07:44 CET 2013

Bus: practically

- Just wrap an expression like is done now: for typing this does
  exactly what is needed: lift all types to streams.

- Use lazy evaluation to do 2 things:
  - Insert a context/loop in the syntax
  - Determine the number of values to insert the bus summuation.