- Lenses declared in the AST module are factored out in a AST.Lens module
  in order to import them also when the main module is imported qualified.
- Simplification of action instantiation