Added type set containment checking for outgoing propagations and for
condition elements.
added type containment for transitions and detections.
regenerated to include NamedElement as super type for EventOrPropagation