Update generated files
Merge branch 'master' into coq-semantics
Fixing the include from the previous merge (as always) and adding support for As (e@Constructor()) annotations.