offer the possibility to change the name of the added annotation @aspect to another annotation

[dvojtise]

In Gemoc, a more logical annotation would be @dynamic.
It would be useful to have a mean to indicate in melange the name of the annotation added to the generated ecore using the "with" keyword

something like:

language IoT {
  syntax "/IoT/model/IoT.ecore"
  with fr.inria.diverse.iot2.OpaqueActionAspect addedAnnotation dynamic
  with fr.inria.diverse.iot2.OperationDefAspect addedAnnotation dynamic
}

More generally it would be useful to be able to indicate the annotation also on the syntax keyword.

language IoT {
  syntax "/IoT/model/IoT.ecore"
  syntax "/IoT/model/IoTRuntime.ecore" addedAnnotation dynamic
  with fr.inria.diverse.iot2.OpaqueActionAspect addedAnnotation dynamic
  with fr.inria.diverse.iot2.OperationDefAspect addedAnnotation dynamic
}

in this last example, the content from IoT.ecore is not annotated and the content added by k3 aspects and from IoTRuntime.ecore will have an annotation "dynamic"