Streams: better typing errors
Streams: started CollectOp (blocked by retyping of casedefs :-S)
Streams: leave case classes alone! + don't untypecheck casedefs (issue #13)