causal eval almost done, missing only sum case
causal eval done, now we need to try the stream semantics "wrapper"