added some and + or combinators
fixes Running semantics
corrected timer semantics
renamed to batching
Merge branch 'combinators'