- event expressions use Expr over LHS
- stricter AST representation of event controls
- property specs use event expressions directly