adding "event" syntax to agree to reason about sending events on event ports
fixing some linking issues with record update expressions
Merge branch 'develop'