Merge remote-tracking branch 'origin/newpog' into sdf
Merge remote-tracking branch 'origin/development' into sdf
step towards fixing the issue #262
Merge remote-tracking branch 'origin/development' into kel/base
Some small fixes to TP
added initial implementation for #249 and #262 but this only works when the input sets are none empty
removed ChannelNameSetValue from the interpreter, a standard SetValue is used now

setp towards fixing: #262 #263
close #262 close #261 changed namesets to enable interpretation of inter/sub/union for var set exps.

This does not include the unbound sets for channels
removed unused import
Merge remote-tracking branch 'origin/sdf' into development
fixed #242 events with .? in the values offeres was wrongly removed from the set when synchronizing.
fixed #265 problem with hardcoded final assistant in the Interpreter

requires overture sync with: overturetool/overture@c7bda3261aa985c4800524fea55e7eba62091a12
Merge remote-tracking branch 'origin/kel/base' into development
Merge remote-tracking branch 'origin/development' into alrd