ComposableEventSet, re-composed

Main feature for this release - the old ComposableEventSet class, which worked for runtime but did not play well with verification, now works with verification too. And also has some basic boolean semantic functionality:

These are equal:

theEventSet(E_A).or(E_B).and( theEventSet(E_B).or(E_C) )
theEventSet(E_C).or(E_B).and( theEventSet(E_B).or(E_A) )

These are equal:

allOf(E_A, E_B, E_C, E_D)
allOf(E_A, E_B).and(allOf(E_C, E_D))
allOf(E_A, E_B, E_B, E_B).and(allOf(E_C, E_D));