X-Git-Url: http://nitlanguage.org

diff --git a/src/parser/parser_nodes.nit b/src/parser/parser_nodes.nit
index 2e52c08..1a37332 100644
--- a/src/parser/parser_nodes.nit
+++ b/src/parser/parser_nodes.nit
@@ -14,9 +14,10 @@
 
 # AST nodes of the Nit language
 # Was previously based on parser_abs.nit.
-module parser_nodes is old_style_init
+module parser_nodes
 
 import location
+import ordered_tree
 
 # Root of the AST class-hierarchy
 abstract class ANode
@@ -33,6 +34,15 @@ abstract class ANode
 		sys.stderr.write "{hot_location} {self.class_name}: {message}\n{hot_location.colored_line("0;32")}\n"
 	end
 
+	# Write the subtree on stdout.
+	# See `ASTDump`
+	fun dump_tree
+	do
+		var d = new ASTDump
+		d.enter_visit(self)
+		d.write_to(sys.stdout)
+	end
+
 	# Parent of the node in the AST
 	var parent: nullable ANode = null
 
@@ -88,14 +98,11 @@ abstract class ANode
 		end
 	end
 
-	# Protect from invalid instantiation of nodes
-	private init do end
-
 	# Replace a child with an other node in the AST
 	private fun replace_child(old_child: ANode, new_child: nullable ANode) is abstract
 
 	# Detach a node from its parent
-	# Aborts if the node is not detashable. use `replace_with` instead
+	# Aborts if the node is not detachable. use `replace_with` instead
 	# REQUIRE: parent != null
 	# REQUIRE: is_detachable
 	# ENDURE: parent == null
@@ -120,10 +127,77 @@ abstract class ANode
 	# Visit all nodes in order.
 	# Thus, call `v.enter_visit(e)` for each child `e`
 	fun visit_all(v: Visitor) is abstract
+
+	# Do a deep search and return an array of tokens that match a given text
+	fun collect_tokens_by_text(text: String): Array[Token]
+	do
+		var v = new CollectTokensByTextVisitor(text)
+		v.enter_visit(self)
+		return v.result
+	end
+
+	# Do a deep search and return an array of node that are annotated
+	# The attached node can be retrieved by two invocations of parent
+	fun collect_annotations_by_name(name: String): Array[AAnnotation]
+	do
+		var v = new CollectAnnotationsByNameVisitor(name)
+		v.enter_visit(self)
+		return v.result
+	end
+end
+
+private class CollectTokensByTextVisitor
+	super Visitor
+	var text: String
+	var result = new Array[Token]
+	redef fun visit(node)
+	do
+		node.visit_all(self)
+		if node isa Token and node.text == text then result.add(node)
+	end
+end
+
+private class CollectAnnotationsByNameVisitor
+	super Visitor
+	var name: String
+	var result = new Array[AAnnotation]
+	redef fun visit(node)
+	do
+		node.visit_all(self)
+		if node isa AAnnotation and node.n_atid.n_id.text == name then result.add(node)
+	end
+end
+
+# A helper class to handle (print) Nit AST as an OrderedTree
+class ASTDump
+	super Visitor
+	super OrderedTree[ANode]
+
+	# Reference to the last parent in the Ordered Tree
+	# Is used to handle the initial node parent and workaround possible inconsistent `ANode::parent`
+	private var last_parent: nullable ANode = null
+
+	redef fun visit(n)
+	do
+		var p = last_parent
+		add(p, n)
+		last_parent = n
+		n.visit_all(self)
+		last_parent = p
+	end
+
+	redef fun display(n)
+	do
+		if n isa Token then
+			return "{n.class_name} \"{n.text.escape_to_c}\" @{n.location}"
+		else
+			return "{n.class_name} @{n.location}"
+		end
+	end
 end
 
 # A sequence of nodes
-# There is a specifc class (instead of a using Array) to track the parent/child relation when nodes are added or removed
+# It is a specific class (instead of using a Array) to track the parent/child relation when nodes are added or removed
 class ANodes[E: ANode]
 	super Sequence[E]
 	private var parent: ANode
@@ -183,7 +257,7 @@ class ANodes[E: ANode]
 		e.parent = null
 	end
 
-	# Used in parent contructor to fill elements
+	# Used in parent constructor to fill elements
 	private fun unsafe_add_all(nodes: Collection[Object])
 	do
 		var parent = self.parent
@@ -225,14 +299,16 @@ abstract class Token
 
 	# The raw content on the token
 	fun text: String is abstract
+
+	# The raw content on the token
 	fun text=(text: String) is abstract
 
 	# The previous token in the Lexer.
-	# May have disapeared in the AST
+	# May have disappeared in the AST
 	var prev_token: nullable Token = null
 
 	# The next token in the Lexer.
-	# May have disapeared in the AST
+	# May have disappeared in the AST
 	var next_token: nullable Token = null
 
 	# The verbatim blank text between `prev_token` and `self`
@@ -254,11 +330,11 @@ end
 
 redef class SourceFile
 	# The first token parser by the lexer
-	# May have disapeared in the final AST
+	# May have disappeared in the final AST
 	var first_token: nullable Token = null
 
 	# The first token parser by the lexer
-	# May have disapeared in the final AST
+	# May have disappeared in the final AST
 	var last_token: nullable Token = null
 end
 
@@ -268,9 +344,27 @@ abstract class Prod
 	super ANode
 
 	# All the annotations attached directly to the node
-	var _n_annotations: nullable AAnnotations = null
-	fun n_annotations: nullable AAnnotations do return _n_annotations
-	fun n_annotations=(n_annotations: nullable AAnnotations) do _n_annotations = n_annotations
+	var n_annotations: nullable AAnnotations = null is writable
+
+	# Return all its annotations of a given name in the order of their declaration
+	# Retun an empty array if no such an annotation.
+	fun get_annotations(name: String): Array[AAnnotation]
+	do
+		var res = new Array[AAnnotation]
+		var nas = n_annotations
+		if nas != null then for na in nas.n_items do
+			if na.name != name then continue
+			res.add(na)
+		end
+		if self isa AClassdef then for na in n_propdefs do
+			if na isa AAnnotPropdef then
+				if na.name != name then continue
+				res.add na
+			end
+		end
+
+		return res
+	end
 
 	redef fun replace_with(n: ANode)
 	do
@@ -300,9 +394,7 @@ abstract class Visitor
 	end
 
 	# The current visited node
-	var _current_node: nullable ANode = null
-	fun current_node: nullable ANode do return _current_node
-	fun current_node=(current_node: nullable ANode) do _current_node = current_node
+	var current_node: nullable ANode = null is writable
 end
 
 # Token of end of line (basically `\n`)
@@ -328,183 +420,293 @@ abstract class TokenKeyword
 		return "keyword '{text}'"
 	end
 end
+
+# The deprecated keyword `package`.
 class TKwpackage
 	super TokenKeyword
 end
+
+# The keyword `module`
 class TKwmodule
 	super TokenKeyword
 end
+
+# The keyword `import`
 class TKwimport
 	super TokenKeyword
 end
+
+# The keyword `class`
 class TKwclass
 	super TokenKeyword
 end
+
+# The keyword `abstract`
 class TKwabstract
 	super TokenKeyword
 end
+
+# The keyword `interface`
 class TKwinterface
 	super TokenKeyword
 end
+
+# The keywords `enum` ane `universal`
 class TKwenum
 	super TokenKeyword
 end
+
+# The keyword `end`
 class TKwend
 	super TokenKeyword
 end
+
+# The keyword `fun`
 class TKwmeth
 	super TokenKeyword
 end
+
+# The keyword `type`
 class TKwtype
 	super TokenKeyword
 end
+
+# The keyword `init`
 class TKwinit
 	super TokenKeyword
 end
+
+# The keyword `redef`
 class TKwredef
 	super TokenKeyword
 end
+
+# The keyword `is`
 class TKwis
 	super TokenKeyword
 end
+
+# The keyword `do`
 class TKwdo
 	super TokenKeyword
 end
-class TKwreadable
-	super TokenKeyword
-end
-class TKwwritable
-	super TokenKeyword
-end
+
+# The keyword `var`
 class TKwvar
 	super TokenKeyword
 end
-class TKwintern
-	super TokenKeyword
-end
+
+# The keyword `extern`
 class TKwextern
 	super TokenKeyword
 end
+
+# The keyword `public`
 class TKwpublic
 	super TokenKeyword
 end
+
+# The keyword `protected`
 class TKwprotected
 	super TokenKeyword
 end
+
+# The keyword `private`
 class TKwprivate
 	super TokenKeyword
 end
+
+# The keyword `intrude`
 class TKwintrude
 	super TokenKeyword
 end
+
+# The keyword `if`
 class TKwif
 	super TokenKeyword
 end
+
+# The keyword `then`
 class TKwthen
 	super TokenKeyword
 end
+
+# The keyword `else`
 class TKwelse
 	super TokenKeyword
 end
+
+# The keyword `while`
 class TKwwhile
 	super TokenKeyword
 end
+
+# The keyword `loop`
 class TKwloop
 	super TokenKeyword
 end
+
+# The keyword `for`
 class TKwfor
 	super TokenKeyword
 end
+
+# The keyword `in`
 class TKwin
 	super TokenKeyword
 end
+
+# The keyword `and`
 class TKwand
 	super TokenKeyword
 end
+
+# The keyword `or`
 class TKwor
 	super TokenKeyword
 end
+
+# The keyword `implies`
 class TKwimplies
 	super TokenKeyword
 end
+
+# The keyword `not`
 class TKwnot
 	super TokenKeyword
 end
+
+# The keyword `return`
 class TKwreturn
 	super TokenKeyword
 end
+
+# The keyword `continue`
 class TKwcontinue
 	super TokenKeyword
 end
+
+# The keyword `break`
 class TKwbreak
 	super TokenKeyword
 end
+
+# The keyword `abort`
 class TKwabort
 	super TokenKeyword
 end
+
+# The keyword `assert`
 class TKwassert
 	super TokenKeyword
 end
+
+# The keyword `new`
 class TKwnew
 	super TokenKeyword
 end
+
+# The keyword `isa`
 class TKwisa
 	super TokenKeyword
 end
+
+# The keyword `once`
 class TKwonce
 	super TokenKeyword
 end
+
+# The keyword `super`
 class TKwsuper
 	super TokenKeyword
 end
+
+# The keyword `self`
 class TKwself
 	super TokenKeyword
 end
+
+# The keyword `true`
 class TKwtrue
 	super TokenKeyword
 end
+
+# The keyword `false`
 class TKwfalse
 	super TokenKeyword
 end
+
+# The keyword `null`
 class TKwnull
 	super TokenKeyword
 end
+
+# The keyword `as`
 class TKwas
 	super TokenKeyword
 end
+
+# The keyword `nullable`
 class TKwnullable
 	super TokenKeyword
 end
+
+# The keyword `isset`
 class TKwisset
 	super TokenKeyword
 end
+
+# The keyword `label`
 class TKwlabel
 	super TokenKeyword
 end
+
+# The keyword `with`
+class TKwwith
+	super TokenKeyword
+end
+
+# The special keyword `__DEBUG__`
 class TKwdebug
 	super Token
 end
+
+# The symbol `(`
 class TOpar
 	super Token
 end
+
+# The symbol `)`
 class TCpar
 	super Token
 end
+
+# The symbol `[`
 class TObra
 	super Token
 end
+
+# The symbol `]`
 class TCbra
 	super Token
 end
+
+# The symbol `,`
 class TComma
 	super Token
 end
+
+# The symbol `:`
 class TColumn
 	super Token
 end
+
+# The symbol `::`
 class TQuad
 	super Token
 end
+
+# The symbol `=`
 class TAssign
 	super Token
 end
@@ -517,66 +719,178 @@ abstract class TokenOperator
 		return "operator '{text}'"
 	end
 end
+
+# The operator `+=`
 class TPluseq
 	super TokenOperator
 end
+
+# The operator `-=`
 class TMinuseq
 	super TokenOperator
 end
+
+# The operator `*=`
+class TStareq
+	super TokenOperator
+end
+
+# The operator `/=`
+class TSlasheq
+	super TokenOperator
+end
+
+# The operator `%=`
+class TPercenteq
+	super TokenOperator
+end
+
+# The operator `**=`
+class TStarstareq
+	super TokenOperator
+end
+
+# The operator `|=`
+class TPipeeq
+	super TokenOperator
+end
+
+# The operator `^=`
+class TCareteq
+	super TokenOperator
+end
+
+# The operator `&=`
+class TAmpeq
+	super TokenOperator
+end
+
+# The operator `<<=`
+class TLleq
+	super TokenOperator
+end
+
+# The operator `>>=`
+class TGgeq
+	super TokenOperator
+end
+
+# The symbol `...`
 class TDotdotdot
 	super Token
 end
+
+# The symbol `..`
 class TDotdot
 	super Token
 end
+
+# The symbol `.`
 class TDot
 	super Token
 end
+
+# The operator `+`
 class TPlus
 	super TokenOperator
 end
+
+# The operator `-`
 class TMinus
 	super TokenOperator
 end
+
+# The operator `*`
 class TStar
 	super TokenOperator
 end
+
+# The operator `**`
+class TStarstar
+	super TokenOperator
+end
+
+# The operator `/`
 class TSlash
 	super TokenOperator
 end
+
+# The operator `%`
 class TPercent
 	super TokenOperator
 end
+
+# The operator `|`
+class TPipe
+	super TokenOperator
+end
+
+# The operator `^`
+class TCaret
+	super TokenOperator
+end
+
+# The operator `&`
+class TAmp
+	super TokenOperator
+end
+
+# The operator `~`
+class TTilde
+	super TokenOperator
+end
+
+# The operator `==`
 class TEq
 	super TokenOperator
 end
+
+# The operator `!=`
 class TNe
 	super TokenOperator
 end
+
+# The operator `<`
 class TLt
 	super TokenOperator
 end
+
+# The operator `<=`
 class TLe
 	super TokenOperator
 end
+
+# The operator `<<`
 class TLl
 	super TokenOperator
 end
+
+# The operator `>`
 class TGt
 	super TokenOperator
 end
+
+# The operator `>=`
 class TGe
 	super TokenOperator
 end
+
+# The operator `>>`
 class TGg
 	super TokenOperator
 end
+
+# The operator `<=>`
 class TStarship
 	super TokenOperator
 end
+
+# The operator `!`
 class TBang
 	super TokenOperator
 end
+
+# The symbol `@`
 class TAt
 	super Token
 end
@@ -590,7 +904,7 @@ class TClassid
 	end
 end
 
-# A standard identifier (variable, method...). They start with a lowercase. 
+# A standard identifier (variable, method...). They start with a lowercase.
 class TId
 	super Token
 	redef fun to_s
@@ -616,27 +930,43 @@ abstract class TokenLiteral
 		do return "literal value '{text}'"
 	end
 end
+
+# A literal decimal integer
 class TNumber
 	super TokenLiteral
 end
+
+# A literal hexadecimal integer
 class THexNumber
 	super TokenLiteral
 end
+
+# A literal floating point number
 class TFloat
 	super TokenLiteral
 end
+
+# A literal character
 class TChar
 	super TokenLiteral
 end
+
+# A literal string
 class TString
 	super TokenLiteral
 end
+
+# The starting part of a super string (between `"` and `{`)
 class TStartString
 	super TokenLiteral
 end
+
+# The middle part of a super string (between `}` and `{`)
 class TMidString
 	super TokenLiteral
 end
+
+# The final part of a super string (between `}` and `"`)
 class TEndString
 	super TokenLiteral
 end
@@ -659,6 +989,7 @@ class TBadChar
 	end
 end
 
+# A extern code block
 class TExternCodeSegment
 	super Token
 end
@@ -676,9 +1007,11 @@ end
 class AError
 	super EOF
 end
+# A lexical error (unexpected character)
 class ALexerError
 	super AError
 end
+# A syntactic error (unexpected token)
 class AParserError
 	super AError
 end
@@ -687,69 +1020,66 @@ end
 class AModule
 	super Prod
 
-	var _n_moduledecl: nullable AModuledecl = null
-	fun n_moduledecl: nullable AModuledecl do return _n_moduledecl
-	fun n_moduledecl=(n_moduledecl: nullable AModuledecl) do _n_moduledecl = n_moduledecl
-	var n_imports: ANodes[AImport] = new ANodes[AImport](self)
-	var n_extern_code_blocks: ANodes[AExternCodeBlock] = new ANodes[AExternCodeBlock](self)
-	var n_classdefs: ANodes[AClassdef] = new ANodes[AClassdef](self)
-	init do end
+	# The declaration part of the module
+	var n_moduledecl: nullable AModuledecl = null is writable
+
+	# List of importation clauses
+	var n_imports = new ANodes[AImport](self)
+
+	# List of extern blocks
+	var n_extern_code_blocks = new ANodes[AExternCodeBlock](self)
+
+	# List of class definition (including top-level methods and the main)
+	var n_classdefs = new ANodes[AClassdef](self)
+end
+
+# Abstract class for definition of entities
+abstract class ADefinition
+	super Prod
+	# The documentation
+	var n_doc: nullable ADoc = null is writable
+
+	# The `redef` keyword
+	var n_kwredef: nullable TKwredef = null is writable
+
+	# The declared visibility
+	var n_visibility: nullable AVisibility = null is writable
 end
 
 # The declaration of the module with the documentation, name, and annotations
 class AModuledecl
-	super Prod
-	var _n_doc: nullable ADoc = null
-	fun n_doc: nullable ADoc do return _n_doc
-	fun n_doc=(n_doc: nullable ADoc) do _n_doc = n_doc
-	var _n_kwredef: nullable TKwredef = null
-	fun n_kwredef: nullable TKwredef do return _n_kwredef
-	fun n_kwredef=(n_kwredef: nullable TKwredef) do _n_kwredef = n_kwredef
-	var _n_visibility: AVisibility
-	fun n_visibility: AVisibility do return _n_visibility
-	fun n_visibility=(n_visibility: AVisibility) do _n_visibility = n_visibility
-	var _n_kwmodule: TKwmodule
-	fun n_kwmodule: TKwmodule do return _n_kwmodule
-	fun n_kwmodule=(n_kwmodule: TKwmodule) do _n_kwmodule = n_kwmodule
-	var _n_name: AModuleName
-	fun n_name: AModuleName do return _n_name
-	fun n_name=(n_name: AModuleName) do _n_name = n_name
-	init do end
+	super ADefinition
+
+	# The `module` keyword
+	var n_kwmodule: TKwmodule is writable, noinit
+
+	# The declared module name
+	var n_name: AModuleName is writable, noinit
 end
 
 # A import clause of a module
 abstract class AImport
 	super Prod
+
+	# The declared visibility
+	var n_visibility: AVisibility is writable, noinit
+
+	# The `import` keyword
+	var n_kwimport: TKwimport is writable, noinit
 end
 
 # A standard import clause. eg `import x`
 class AStdImport
 	super AImport
-	var _n_visibility: AVisibility
-	fun n_visibility: AVisibility do return _n_visibility
-	fun n_visibility=(n_visibility: AVisibility) do _n_visibility = n_visibility
-	var _n_kwimport: TKwimport
-	fun n_kwimport: TKwimport do return _n_kwimport
-	fun n_kwimport=(n_kwimport: TKwimport) do _n_kwimport = n_kwimport
-	var _n_name: AModuleName
-	fun n_name: AModuleName do return _n_name
-	fun n_name=(n_name: AModuleName) do _n_name = n_name
-	init do end
+	# The imported module name
+	var n_name: AModuleName is writable, noinit
 end
 
 # The special import clause of the kernel module. eg `import end`
 class ANoImport
 	super AImport
-	var _n_visibility: AVisibility
-	fun n_visibility: AVisibility do return _n_visibility
-	fun n_visibility=(n_visibility: AVisibility) do _n_visibility = n_visibility
-	var _n_kwimport: TKwimport
-	fun n_kwimport: TKwimport do return _n_kwimport
-	fun n_kwimport=(n_kwimport: TKwimport) do _n_kwimport = n_kwimport
-	var _n_kwend: TKwend
-	fun n_kwend: TKwend do return _n_kwend
-	fun n_kwend=(n_kwend: TKwend) do _n_kwend = n_kwend
-	init do end
+	# The `end` keyword, that indicate the root module
+	var n_kwend: TKwend is writable, noinit
 end
 
 # A visibility modifier
@@ -761,33 +1091,30 @@ end
 abstract class AVisibility
 	super Prod
 end
+
+# An implicit or explicit public visibility modifier
 class APublicVisibility
 	super AVisibility
-	var _n_kwpublic: nullable TKwpublic
-	fun n_kwpublic: nullable TKwpublic do return _n_kwpublic
-	fun n_kwpublic=(n_kwpublic: nullable TKwpublic) do _n_kwpublic = n_kwpublic
-	init do end
+	# The `public` keyword, if any
+	var n_kwpublic: nullable TKwpublic is writable
 end
+# An explicit private visibility modifier
 class APrivateVisibility
 	super AVisibility
-	var _n_kwprivate: TKwprivate
-	fun n_kwprivate: TKwprivate do return _n_kwprivate
-	fun n_kwprivate=(n_kwprivate: TKwprivate) do _n_kwprivate = n_kwprivate
-	init do end
+	# The `private` keyword
+	var n_kwprivate: TKwprivate is writable, noinit
 end
+# An explicit protected visibility modifier
 class AProtectedVisibility
 	super AVisibility
-	var _n_kwprotected: TKwprotected
-	fun n_kwprotected: TKwprotected do return _n_kwprotected
-	fun n_kwprotected=(n_kwprotected: TKwprotected) do _n_kwprotected = n_kwprotected
-	init do end
+	# The `protected` keyword
+	var n_kwprotected: TKwprotected is writable, noinit
 end
+# An explicit intrude visibility modifier
 class AIntrudeVisibility
 	super AVisibility
-	var _n_kwintrude: TKwintrude
-	fun n_kwintrude: TKwintrude do return _n_kwintrude
-	fun n_kwintrude=(n_kwintrude: TKwintrude) do _n_kwintrude = n_kwintrude
-	init do end
+	# The `intrude` keyword
+	var n_kwintrude: TKwintrude is writable, noinit
 end
 
 # A class definition
@@ -795,38 +1122,35 @@ end
 # There is tow special case of class definition
 abstract class AClassdef
 	super Prod
-	var n_propdefs: ANodes[APropdef] = new ANodes[APropdef](self)
-	init do end
+	# All the declared properties (including the main method)
+	var n_propdefs = new ANodes[APropdef](self)
 end
 
 # A standard class definition with a name, superclasses and properties
 class AStdClassdef
 	super AClassdef
-	var _n_doc: nullable ADoc = null
-	fun n_doc: nullable ADoc do return _n_doc
-	fun n_doc=(n_doc: nullable ADoc) do _n_doc = n_doc
-	var _n_kwredef: nullable TKwredef = null
-	fun n_kwredef: nullable TKwredef do return _n_kwredef
-	fun n_kwredef=(n_kwredef: nullable TKwredef) do _n_kwredef = n_kwredef
-	var _n_visibility: AVisibility
-	fun n_visibility: AVisibility do return _n_visibility
-	fun n_visibility=(n_visibility: AVisibility) do _n_visibility = n_visibility
-	var _n_classkind: AClasskind
-	fun n_classkind: AClasskind do return _n_classkind
-	fun n_classkind=(n_classkind: AClasskind) do _n_classkind = n_classkind
-	var _n_id: nullable TClassid = null
-	fun n_id: nullable TClassid do return _n_id
-	fun n_id=(n_id: nullable TClassid) do _n_id = n_id
-	var n_formaldefs: ANodes[AFormaldef] = new ANodes[AFormaldef](self)
-	var _n_extern_code_block: nullable AExternCodeBlock = null
-	fun n_extern_code_block: nullable AExternCodeBlock do return _n_extern_code_block
-	fun n_extern_code_block=(n_extern_code_block: nullable AExternCodeBlock) do _n_extern_code_block = n_extern_code_block
-	var n_superclasses: ANodes[ASuperclass] = new ANodes[ASuperclass](self)
-	var _n_kwend: TKwend
-	fun n_kwend: TKwend do return _n_kwend
-	fun n_kwend=(n_kwend: TKwend) do _n_kwend = n_kwend
+	super ADefinition
+
+	# The class kind (interface, abstract class, etc.)
+	var n_classkind: AClasskind is writable, noinit
+
+	# The name of the class
+	var n_id: nullable TClassid = null is writable
+
+	# The list of formal parameter types
+	var n_formaldefs = new ANodes[AFormaldef](self)
+
+	# The extern block code
+	var n_extern_code_block: nullable AExternCodeBlock = null is writable
+
+	# The `end` keyword
+	var n_kwend: TKwend is writable, noinit
+
+	fun n_superclasses: Array[ASuperPropdef] do
+		return [for d in n_propdefs do if d isa ASuperPropdef then d]
+	end
+
 	redef fun hot_location do return n_id.location
-	init do end
 end
 
 # The implicit class definition of the implicit main method
@@ -843,156 +1167,123 @@ end
 abstract class AClasskind
 	super Prod
 end
+
+# A default, or concrete class modifier (just `class`)
 class AConcreteClasskind
 	super AClasskind
-	var _n_kwclass: TKwclass
-	fun n_kwclass: TKwclass do return _n_kwclass
-	fun n_kwclass=(n_kwclass: TKwclass) do _n_kwclass = n_kwclass
-	init do end
+
+	# The `class` keyword.
+	var n_kwclass: TKwclass is writable, noinit
 end
+
+# An abstract class modifier (`abstract class`)
 class AAbstractClasskind
 	super AClasskind
-	var _n_kwabstract: TKwabstract
-	fun n_kwabstract: TKwabstract do return _n_kwabstract
-	fun n_kwabstract=(n_kwabstract: TKwabstract) do _n_kwabstract = n_kwabstract
-	var _n_kwclass: TKwclass
-	fun n_kwclass: TKwclass do return _n_kwclass
-	fun n_kwclass=(n_kwclass: TKwclass) do _n_kwclass = n_kwclass
-	init do end
+
+	# The `abstract` keyword.
+	var n_kwabstract: TKwabstract is writable, noinit
+
+	# The `class` keyword.
+	var n_kwclass: TKwclass is writable, noinit
 end
+
+# An interface class modifier (`interface`)
 class AInterfaceClasskind
 	super AClasskind
-	var _n_kwinterface: TKwinterface
-	fun n_kwinterface: TKwinterface do return _n_kwinterface
-	fun n_kwinterface=(n_kwinterface: TKwinterface) do _n_kwinterface = n_kwinterface
-	init do end
+
+	# The `interface` keyword.
+	var n_kwinterface: TKwinterface is writable, noinit
 end
+
+# An enum/universal class modifier (`enum class`)
 class AEnumClasskind
 	super AClasskind
-	var _n_kwenum: TKwenum
-	fun n_kwenum: TKwenum do return _n_kwenum
-	fun n_kwenum=(n_kwenum: TKwenum) do _n_kwenum = n_kwenum
-	init do end
+
+	# The `enum` keyword.
+	var n_kwenum: TKwenum is writable, noinit
 end
+
+# An extern class modifier (`extern class`)
 class AExternClasskind
 	super AClasskind
-	var _n_kwextern: TKwextern
-	fun n_kwextern: TKwextern do return _n_kwextern
-	fun n_kwextern=(n_kwextern: TKwextern) do _n_kwextern = n_kwextern
-	var _n_kwclass: nullable TKwclass = null
-	fun n_kwclass: nullable TKwclass do return _n_kwclass
-	fun n_kwclass=(n_kwclass: nullable TKwclass) do _n_kwclass = n_kwclass
-	init do end
+
+	# The `extern` keyword.
+	var n_kwextern: TKwextern is writable, noinit
+
+	# The `class` keyword.
+	var n_kwclass: nullable TKwclass = null is writable
 end
 
 # The definition of a formal generic parameter type. eg `X: Y`
 class AFormaldef
 	super Prod
-	var _n_id: TClassid
-	fun n_id: TClassid do return _n_id
-	fun n_id=(n_id: TClassid) do _n_id = n_id
-	# The bound of the parameter type
-	var _n_type: nullable AType = null
-	fun n_type: nullable AType do return _n_type
-	fun n_type=(n_type: nullable AType) do _n_type = n_type
-	init do end
-end
 
-# A super-class. eg `super X`
-class ASuperclass
-	super Prod
-	var _n_kwsuper: TKwsuper
-	fun n_kwsuper: TKwsuper do return _n_kwsuper
-	fun n_kwsuper=(n_kwsuper: TKwsuper) do _n_kwsuper = n_kwsuper
-	var _n_type: AType
-	fun n_type: AType do return _n_type
-	fun n_type=(n_type: AType) do _n_type = n_type
-	init do end
+	# The name of the parameter type
+	var n_id: TClassid is writable, noinit
+
+	# The bound of the parameter type
+	var n_type: nullable AType = null is writable
 end
 
 # The definition of a property
 abstract class APropdef
-	super Prod
-	var _n_doc: nullable ADoc = null
-	fun n_doc: nullable ADoc do return _n_doc
-	fun n_doc=(n_doc: nullable ADoc) do _n_doc = n_doc
-	var _n_kwredef: nullable TKwredef = null
-	fun n_kwredef: nullable TKwredef do return _n_kwredef
-	fun n_kwredef=(n_kwredef: nullable TKwredef) do _n_kwredef = n_kwredef
-	var _n_visibility: nullable AVisibility = null
-	fun n_visibility: nullable AVisibility do return _n_visibility
-	fun n_visibility=(n_visibility: nullable AVisibility) do _n_visibility = n_visibility
+	super ADefinition
 end
 
 # A definition of an attribute
 # For historical reason, old-syle and new-style attributes use the same `ANode` sub-class
 class AAttrPropdef
 	super APropdef
-	var _n_kwvar: TKwvar
-	fun n_kwvar: TKwvar do return _n_kwvar
-	fun n_kwvar=(n_kwvar: TKwvar) do _n_kwvar = n_kwvar
 
-	# The identifier for an old-style attribute (null if new-style)
-	var _n_id: nullable TAttrid
-	fun n_id: nullable TAttrid do return _n_id
-	fun n_id=(n_id: nullable TAttrid) do _n_id = n_id
+	# The identifier for a old-style attribute (null if new-style)
+	var n_kwvar: TKwvar is writable, noinit
 
 	# The identifier for a new-style attribute (null if old-style)
-	var _n_id2: nullable TId
-	fun n_id2: nullable TId do return _n_id2
-	fun n_id2=(n_id2: nullable TId) do _n_id2 = n_id2
-
-	var _n_type: nullable AType = null
-	fun n_type: nullable AType do return _n_type
-	fun n_type=(n_type: nullable AType) do _n_type = n_type
-	var _n_readable: nullable AAble = null
-	fun n_readable: nullable AAble do return _n_readable
-	fun n_readable=(n_readable: nullable AAble) do _n_readable = n_readable
-	var _n_writable: nullable AAble = null
-	fun n_writable: nullable AAble do return _n_writable
-	fun n_writable=(n_writable: nullable AAble) do _n_writable = n_writable
+	var n_id2: TId is writable, noinit
+
+	# The declared type of the attribute
+	var n_type: nullable AType = null is writable
+
+	# The initial value, if any (set with `=`)
+	var n_expr: nullable AExpr = null is writable
+
+	# The initial value, if any (set with `do return`)
+	var n_block: nullable AExpr = null is writable
 
-	# The initial value, if any
-	var _n_expr: nullable AExpr = null
-	fun n_expr: nullable AExpr do return _n_expr
-	fun n_expr=(n_expr: nullable AExpr) do _n_expr = n_expr
 	redef fun hot_location
 	do
-		if n_id != null then return n_id.location else return n_id2.location
+		return n_id2.location
 	end
-	init do end
 end
 
 # A definition of all kind of method (including constructors)
-abstract class AMethPropdef
+class AMethPropdef
 	super APropdef
-	var _n_kwmeth: nullable TKwmeth = null
-	fun n_kwmeth: nullable TKwmeth do return _n_kwmeth
-	fun n_kwmeth=(n_kwmeth: nullable TKwmeth) do _n_kwmeth = n_kwmeth
-	var _n_kwinit: nullable TKwinit = null
-	fun n_kwinit: nullable TKwinit do return _n_kwinit
-	fun n_kwinit=(n_kwinit: nullable TKwinit) do _n_kwinit = n_kwinit
-	var _n_kwnew: nullable TKwnew = null
-	fun n_kwnew: nullable TKwnew do return _n_kwnew
-	fun n_kwnew=(n_kwnew: nullable TKwnew) do _n_kwnew = n_kwnew
-	var _n_methid: nullable AMethid = null
-	fun n_methid: nullable AMethid do return _n_methid
-	fun n_methid=(n_methid: nullable AMethid) do _n_methid = n_methid
-	var _n_signature: nullable ASignature = null
-	fun n_signature: nullable ASignature do return _n_signature
-	fun n_signature=(n_signature: nullable ASignature) do _n_signature = n_signature
-	var _n_block: nullable AExpr = null
-	fun n_block: nullable AExpr do return _n_block
-	fun n_block=(n_block: nullable AExpr) do _n_block = n_block
-	var _n_extern: nullable TString = null
-	fun n_extern: nullable TString do return _n_extern
-	fun n_extern=(n_extern: nullable TString) do _n_extern = n_extern
-	var _n_extern_calls: nullable AExternCalls = null
-	fun n_extern_calls: nullable AExternCalls do return _n_extern_calls
-	fun n_extern_calls=(n_extern_calls: nullable AExternCalls) do _n_extern_calls = n_extern_calls
-	var _n_extern_code_block: nullable AExternCodeBlock = null
-	fun n_extern_code_block: nullable AExternCodeBlock do return _n_extern_code_block
-	fun n_extern_code_block=(n_extern_code_block: nullable AExternCodeBlock) do _n_extern_code_block = n_extern_code_block
+
+	# The `fun` keyword, if any
+	var n_kwmeth: nullable TKwmeth = null is writable
+
+	# The `init` keyword, if any
+	var n_kwinit: nullable TKwinit = null is writable
+
+	# The `new` keyword, if any
+	var n_kwnew: nullable TKwnew = null is writable
+
+	# The name of the method, if any
+	var n_methid: nullable AMethid = null is writable
+
+	# The signature of the method, if any
+	var n_signature: nullable ASignature = null is writable
+
+	# The body (in Nit) of the method, if any
+	var n_block: nullable AExpr = null is writable
+
+	# The list of declared callbacks (for extern methods)
+	var n_extern_calls: nullable AExternCalls = null is writable
+
+	# The body (in extern code) of the method, if any
+	var n_extern_code_block: nullable AExternCodeBlock = null is writable
+
 	redef fun hot_location
 	do
 		if n_methid != null then
@@ -1007,200 +1298,152 @@ abstract class AMethPropdef
 	end
 end
 
-# A method marked abstract
-# *deferred* is a old synonynmous of *abstract* that comes from PRM, that comes from Eiffel.
-class ADeferredMethPropdef
-	super AMethPropdef
-end
-
-# A method marked intern
-class AInternMethPropdef
-	super AMethPropdef
-end
-
-# A method of a constructor marked extern
-abstract class AExternPropdef
-	super AMethPropdef
-end
-
-# A method marked extern
-class AExternMethPropdef
-	super AExternPropdef
-end
-
-# A method with a body
-class AConcreteMethPropdef
+# The implicit main method
+class AMainMethPropdef
 	super AMethPropdef
 end
 
-# A constructor
-abstract class AInitPropdef
-	super AMethPropdef
+class AAnnotPropdef
+	super APropdef
+	super AAnnotation
 end
 
-# A constructor with a body
-class AConcreteInitPropdef
-	super AConcreteMethPropdef
-	super AInitPropdef
-end
+# A super-class. eg `super X`
+class ASuperPropdef
+	super APropdef
 
-class AInternNewPropdef
-	super AInternMethPropdef
-	super AInitPropdef
-end
+	# The super keyword
+	var n_kwsuper: TKwsuper is writable, noinit
 
-# A constructor marked extern (defined with the `new` keyword)
-class AExternInitPropdef
-	super AExternPropdef
-	super AInitPropdef
+	# The super-class (indicated as a type)
+	var n_type: AType is writable, noinit
 end
 
-# The implicit main method
-class AMainMethPropdef
-	super AConcreteMethPropdef
-end
 
 # Declaration of callbacks for extern methods
 class AExternCalls
 	super Prod
-	var _n_kwimport: TKwimport
-	fun n_kwimport: TKwimport do return _n_kwimport
-	fun n_kwimport=(n_kwimport: TKwimport) do _n_kwimport = n_kwimport
+
+	# The `import` keyword
+	var n_kwimport: TKwimport is writable, noinit
+
+	# The list of declared callbacks
 	var n_extern_calls: ANodes[AExternCall] = new ANodes[AExternCall](self)
-	init do end
 end
+
+# A single callback declaration
 abstract class AExternCall
 	super Prod
 end
+
+# A single callback declaration on a method
 abstract class APropExternCall
 	super AExternCall
 end
+
+# A single callback declaration on a method on the current receiver
 class ALocalPropExternCall
 	super APropExternCall
-	var _n_methid: AMethid
-	fun n_methid: AMethid do return _n_methid
-	fun n_methid=(n_methid: AMethid) do _n_methid = n_methid
-	init do end
+
+	# The name of the called-back method
+	var n_methid: AMethid is writable, noinit
 end
+
+# A single callback declaration on a method on an explicit receiver type.
 class AFullPropExternCall
 	super APropExternCall
-	var _n_type: AType
-	fun n_type: AType do return _n_type
-	fun n_type=(n_type: AType) do _n_type = n_type
-	var _n_dot: nullable TDot = null
-	fun n_dot: nullable TDot do return _n_dot
-	fun n_dot=(n_dot: nullable TDot) do _n_dot = n_dot
-	var _n_methid: AMethid
-	fun n_methid: AMethid do return _n_methid
-	fun n_methid=(n_methid: AMethid) do _n_methid = n_methid
-	init do end
+
+	# The type of the receiver of the called-back method
+	var n_type: AType is writable, noinit
+
+	# The dot `.`
+	var n_dot: nullable TDot = null is writable
+
+	# The name of the called-back method
+	var n_methid: AMethid is writable, noinit
 end
+
+# A single callback declaration on a method on a constructor
 class AInitPropExternCall
 	super APropExternCall
-	var _n_type: AType
-	fun n_type: AType do return _n_type
-	fun n_type=(n_type: AType) do _n_type = n_type
-	init do end
+
+	# The allocated type
+	var n_type: AType is writable, noinit
 end
+
+# A single callback declaration on a `super` call
 class ASuperExternCall
 	super AExternCall
-	var _n_kwsuper: TKwsuper
-	fun n_kwsuper: TKwsuper do return _n_kwsuper
-	fun n_kwsuper=(n_kwsuper: TKwsuper) do _n_kwsuper = n_kwsuper
-	init do end
+
+	# The `super` keyword
+	var n_kwsuper: TKwsuper is writable, noinit
 end
+
+# A single callback declaration on a cast
 abstract class ACastExternCall
 	super AExternCall
 end
+
+# A single callback declaration on a cast to a given type
 class ACastAsExternCall
 	super ACastExternCall
-	var _n_from_type: AType
-	fun n_from_type: AType do return _n_from_type
-	fun n_from_type=(n_from_type: AType) do _n_from_type = n_from_type
-	var _n_dot: nullable TDot = null
-	fun n_dot: nullable TDot do return _n_dot
-	fun n_dot=(n_dot: nullable TDot) do _n_dot = n_dot
-	var _n_kwas: TKwas
-	fun n_kwas: TKwas do return _n_kwas
-	fun n_kwas=(n_kwas: TKwas) do _n_kwas = n_kwas
-	var _n_to_type: AType
-	fun n_to_type: AType do return _n_to_type
-	fun n_to_type=(n_to_type: AType) do _n_to_type = n_to_type
-	init do end
+
+	# The origin type of the cast
+	var n_from_type: AType is writable, noinit
+
+	# The dot (`.`)
+	var n_dot: nullable TDot = null is writable
+
+	# The `as` keyword
+	var n_kwas: TKwas is writable, noinit
+
+	# The destination of the cast
+	var n_to_type: AType is writable, noinit
 end
+
+# A single callback declaration on a cast to a nullable type
 class AAsNullableExternCall
 	super ACastExternCall
-	var _n_type: AType
-	fun n_type: AType do return _n_type
-	fun n_type=(n_type: AType) do _n_type = n_type
-	var _n_kwas: TKwas
-	fun n_kwas: TKwas do return _n_kwas
-	fun n_kwas=(n_kwas: TKwas) do _n_kwas = n_kwas
-	var _n_kwnullable: TKwnullable
-	fun n_kwnullable: TKwnullable do return _n_kwnullable
-	fun n_kwnullable=(n_kwnullable: TKwnullable) do _n_kwnullable = n_kwnullable
-	init do end
+
+	# The origin type to cast as nullable
+	var n_type: AType is writable, noinit
+
+	# The `as` keyword
+	var n_kwas: TKwas is writable, noinit
+
+	# The `nullable` keyword
+	var n_kwnullable: TKwnullable is writable, noinit
 end
+
+# A single callback declaration on a cast to a non-nullable type
 class AAsNotNullableExternCall
 	super ACastExternCall
-	var _n_type: AType
-	fun n_type: AType do return _n_type
-	fun n_type=(n_type: AType) do _n_type = n_type
-	var _n_kwas: TKwas
-	fun n_kwas: TKwas do return _n_kwas
-	fun n_kwas=(n_kwas: TKwas) do _n_kwas = n_kwas
-	var _n_kwnot: TKwnot
-	fun n_kwnot: TKwnot do return _n_kwnot
-	fun n_kwnot=(n_kwnot: TKwnot) do _n_kwnot = n_kwnot
-	var _n_kwnullable: TKwnullable
-	fun n_kwnullable: TKwnullable do return _n_kwnullable
-	fun n_kwnullable=(n_kwnullable: TKwnullable) do _n_kwnullable = n_kwnullable
-	init do end
+
+	# The destination type on a cast to not nullable
+	var n_type: AType is writable, noinit
+
+	# The `as` keyword.
+	var n_kwas: TKwas is writable, noinit
+
+	# The `not` keyword
+	var n_kwnot: TKwnot is writable, noinit
+
+	# The `nullable` keyword
+	var n_kwnullable: TKwnullable is writable, noinit
 end
 
 # A definition of a virtual type
 class ATypePropdef
 	super APropdef
-	var _n_kwtype: TKwtype
-	fun n_kwtype: TKwtype do return _n_kwtype
-	fun n_kwtype=(n_kwtype: TKwtype) do _n_kwtype = n_kwtype
-	var _n_id: TClassid
-	fun n_id: TClassid do return _n_id
-	fun n_id=(n_id: TClassid) do _n_id = n_id
-	var _n_type: AType
-	fun n_type: AType do return _n_type
-	fun n_type=(n_type: AType) do _n_type = n_type
-	init do end
-end
-
-# A `writable` or `readable` modifier
-abstract class AAble
-	super Prod
-	var _n_visibility: nullable AVisibility = null
-	fun n_visibility: nullable AVisibility do return _n_visibility
-	fun n_visibility=(n_visibility: nullable AVisibility) do _n_visibility = n_visibility
-	var _n_kwredef: nullable TKwredef = null
-	fun n_kwredef: nullable TKwredef do return _n_kwredef
-	fun n_kwredef=(n_kwredef: nullable TKwredef) do _n_kwredef = n_kwredef
-	init do end
-end
 
-# A `readable` modifier
-class AReadAble
-	super AAble
-	var _n_kwreadable: TKwreadable
-	fun n_kwreadable: TKwreadable do return _n_kwreadable
-	fun n_kwreadable=(n_kwreadable: TKwreadable) do _n_kwreadable = n_kwreadable
-	init do end
-end
+	# The `type` keyword
+	var n_kwtype: TKwtype is writable, noinit
+
+	# The name of the virtual type
+	var n_id: TClassid is writable, noinit
 
-# A `writable` modifier
-class AWriteAble
-	super AAble
-	var _n_kwwritable: TKwwritable
-	fun n_kwwritable: TKwwritable do return _n_kwwritable
-	fun n_kwwritable=(n_kwwritable: TKwwritable) do _n_kwwritable = n_kwwritable
-	init do end
+	# The bound of the virtual type
+	var n_type: AType is writable, noinit
 end
 
 # The identifier of a method in a method declaration.
@@ -1208,203 +1451,206 @@ end
 abstract class AMethid
 	super Prod
 end
+
+# A method name with a simple identifier
 class AIdMethid
 	super AMethid
-	var _n_id: TId
-	fun n_id: TId do return _n_id
-	fun n_id=(n_id: TId) do _n_id = n_id
-	init do end
+
+	# The simple identifier
+	var n_id: TId is writable, noinit
 end
-class APlusMethid
+
+# A method name for an operator
+class AOperatorMethid
 	super AMethid
-	var _n_plus: TPlus
-	fun n_plus: TPlus do return _n_plus
-	fun n_plus=(n_plus: TPlus) do _n_plus = n_plus
-	init do end
+
+	# The associated operator symbol
+	var n_op: Token is writable, noinit
+end
+# A method name `+`
+class APlusMethid
+	super AOperatorMethid
 end
+
+# A method name `-`
 class AMinusMethid
-	super AMethid
-	var _n_minus: TMinus
-	fun n_minus: TMinus do return _n_minus
-	fun n_minus=(n_minus: TMinus) do _n_minus = n_minus
-	init do end
+	super AOperatorMethid
 end
+
+# A method name `*`
 class AStarMethid
-	super AMethid
-	var _n_star: TStar
-	fun n_star: TStar do return _n_star
-	fun n_star=(n_star: TStar) do _n_star = n_star
-	init do end
+	super AOperatorMethid
+end
+
+# A method name `**`
+class AStarstarMethid
+	super AOperatorMethid
 end
+
+# A method name `/`
 class ASlashMethid
-	super AMethid
-	var _n_slash: TSlash
-	fun n_slash: TSlash do return _n_slash
-	fun n_slash=(n_slash: TSlash) do _n_slash = n_slash
-	init do end
+	super AOperatorMethid
 end
+
+# A method name `%`
 class APercentMethid
-	super AMethid
-	var _n_percent: TPercent
-	fun n_percent: TPercent do return _n_percent
-	fun n_percent=(n_percent: TPercent) do _n_percent = n_percent
-	init do end
+	super AOperatorMethid
+end
+
+# A method name `|`
+class APipeMethid
+	super AOperatorMethid
 end
+
+# A method name `^`
+class ACaretMethid
+	super AOperatorMethid
+end
+
+# A method name `&`
+class AAmpMethid
+	super AOperatorMethid
+end
+
+# A method name `~`
+class ATildeMethid
+	super AOperatorMethid
+end
+
+# A method name `==`
 class AEqMethid
-	super AMethid
-	var _n_eq: TEq
-	fun n_eq: TEq do return _n_eq
-	fun n_eq=(n_eq: TEq) do _n_eq = n_eq
-	init do end
+	super AOperatorMethid
 end
+
+# A method name `!=`
 class ANeMethid
-	super AMethid
-	var _n_ne: TNe
-	fun n_ne: TNe do return _n_ne
-	fun n_ne=(n_ne: TNe) do _n_ne = n_ne
-	init do end
+	super AOperatorMethid
 end
+
+# A method name `<=`
 class ALeMethid
-	super AMethid
-	var _n_le: TLe
-	fun n_le: TLe do return _n_le
-	fun n_le=(n_le: TLe) do _n_le = n_le
-	init do end
+	super AOperatorMethid
 end
+
+# A method name `>=`
 class AGeMethid
-	super AMethid
-	var _n_ge: TGe
-	fun n_ge: TGe do return _n_ge
-	fun n_ge=(n_ge: TGe) do _n_ge = n_ge
-	init do end
+	super AOperatorMethid
 end
+
+# A method name `<`
 class ALtMethid
-	super AMethid
-	var _n_lt: TLt
-	fun n_lt: TLt do return _n_lt
-	fun n_lt=(n_lt: TLt) do _n_lt = n_lt
-	init do end
+	super AOperatorMethid
 end
+
+# A method name `>`
 class AGtMethid
-	super AMethid
-	var _n_gt: TGt
-	fun n_gt: TGt do return _n_gt
-	fun n_gt=(n_gt: TGt) do _n_gt = n_gt
-	init do end
+	super AOperatorMethid
 end
+
+# A method name `<<`
 class ALlMethid
-	super AMethid
-	var _n_ll: TLl
-	fun n_ll: TLl do return _n_ll
-	fun n_ll=(n_ll: TLl) do _n_ll = n_ll
-	init do end
+	super AOperatorMethid
 end
+
+# A method name `>>`
 class AGgMethid
-	super AMethid
-	var _n_gg: TGg
-	fun n_gg: TGg do return _n_gg
-	fun n_gg=(n_gg: TGg) do _n_gg = n_gg
-	init do end
-end
-class ABraMethid
-	super AMethid
-	var _n_obra: TObra
-	fun n_obra: TObra do return _n_obra
-	fun n_obra=(n_obra: TObra) do _n_obra = n_obra
-	var _n_cbra: TCbra
-	fun n_cbra: TCbra do return _n_cbra
-	fun n_cbra=(n_cbra: TCbra) do _n_cbra = n_cbra
-	init do end
+	super AOperatorMethid
 end
+
+# A method name `<=>`
 class AStarshipMethid
+	super AOperatorMethid
+end
+
+# A method name `[]`
+class ABraMethid
 	super AMethid
-	var _n_starship: TStarship
-	fun n_starship: TStarship do return _n_starship
-	fun n_starship=(n_starship: TStarship) do _n_starship = n_starship
-	init do end
+
+	# The `[` symbol
+	var n_obra: TObra is writable, noinit
+
+	# The `]` symbol
+	var n_cbra: TCbra is writable, noinit
 end
+
+# A setter method name with a simple identifier (with a `=`)
 class AAssignMethid
 	super AMethid
-	var _n_id: TId
-	fun n_id: TId do return _n_id
-	fun n_id=(n_id: TId) do _n_id = n_id
-	var _n_assign: TAssign
-	fun n_assign: TAssign do return _n_assign
-	fun n_assign=(n_assign: TAssign) do _n_assign = n_assign
-	init do end
+
+	# The base identifier
+	var n_id: TId is writable, noinit
+
+	# The `=` symbol
+	var n_assign: TAssign is writable, noinit
 end
+
+# A method name `[]=`
 class ABraassignMethid
 	super AMethid
-	var _n_obra: TObra
-	fun n_obra: TObra do return _n_obra
-	fun n_obra=(n_obra: TObra) do _n_obra = n_obra
-	var _n_cbra: TCbra
-	fun n_cbra: TCbra do return _n_cbra
-	fun n_cbra=(n_cbra: TCbra) do _n_cbra = n_cbra
-	var _n_assign: TAssign
-	fun n_assign: TAssign do return _n_assign
-	fun n_assign=(n_assign: TAssign) do _n_assign = n_assign
-	init do end
+
+	# The `[` symbol
+	var n_obra: TObra is writable, noinit
+
+	# The `]` symbol
+	var n_cbra: TCbra is writable, noinit
+
+	# The `=` symbol
+	var n_assign: TAssign is writable, noinit
 end
 
 # A signature in a method definition. eg `(x,y:X,z:Z):T`
 class ASignature
 	super Prod
-	var _n_opar: nullable TOpar = null
-	fun n_opar: nullable TOpar do return _n_opar
-	fun n_opar=(n_opar: nullable TOpar) do _n_opar = n_opar
-	var n_params: ANodes[AParam] = new ANodes[AParam](self)
-	var _n_cpar: nullable TCpar = null
-	fun n_cpar: nullable TCpar do return _n_cpar
-	fun n_cpar=(n_cpar: nullable TCpar) do _n_cpar = n_cpar
-	var _n_type: nullable AType = null
-	fun n_type: nullable AType do return _n_type
-	fun n_type=(n_type: nullable AType) do _n_type = n_type
-	init do end
+
+	# The `(` symbol
+	var n_opar: nullable TOpar = null is writable
+
+	# The list of parameters
+	var n_params = new ANodes[AParam](self)
+
+	# The `)` symbol
+	var n_cpar: nullable TCpar = null is writable
+
+	# The return type
+	var n_type: nullable AType = null is writable
 end
 
 # A parameter definition in a signature. eg `x:X`
 class AParam
 	super Prod
-	var _n_id: TId
-	fun n_id: TId do return _n_id
-	fun n_id=(n_id: TId) do _n_id = n_id
-	var _n_type: nullable AType = null
-	fun n_type: nullable AType do return _n_type
-	fun n_type=(n_type: nullable AType) do _n_type = n_type
-	var _n_dotdotdot: nullable TDotdotdot = null
-	fun n_dotdotdot: nullable TDotdotdot do return _n_dotdotdot
-	fun n_dotdotdot=(n_dotdotdot: nullable TDotdotdot) do _n_dotdotdot = n_dotdotdot
-	init do end
+
+	# The name of the parameter
+	var n_id: TId is writable, noinit
+
+	# The type of the parameter, if any
+	var n_type: nullable AType = null is writable
+
+	# The `...` symbol to indicate varargs
+	var n_dotdotdot: nullable TDotdotdot = null is writable
 end
 
 # A static type. eg `nullable X[Y]`
 class AType
 	super Prod
-	var _n_kwnullable: nullable TKwnullable = null
-	fun n_kwnullable: nullable TKwnullable do return _n_kwnullable
-	fun n_kwnullable=(n_kwnullable: nullable TKwnullable) do _n_kwnullable = n_kwnullable
+	# The `nullable` keyword
+	var n_kwnullable: nullable TKwnullable = null is writable
 
 	# The name of the class or of the formal type
-	var _n_id: TClassid
-	fun n_id: TClassid do return _n_id
-	fun n_id=(n_id: TClassid) do _n_id = n_id
+	var n_id: TClassid is writable, noinit
 
 	# Type arguments for a generic type
-	var n_types: ANodes[AType] = new ANodes[AType](self)
-	init do end
+	var n_types = new ANodes[AType](self)
 end
 
 # A label at the end of a block or in a break/continue statement. eg `label x`
 class ALabel
 	super Prod
-	var _n_kwlabel: TKwlabel
-	fun n_kwlabel: TKwlabel do return _n_kwlabel
-	fun n_kwlabel=(n_kwlabel: TKwlabel) do _n_kwlabel = n_kwlabel
-	var _n_id: nullable TId
-	fun n_id: nullable TId do return _n_id
-	fun n_id=(n_id: nullable TId) do _n_id = n_id
-	init do end
+
+	# The `label` keyword
+	var n_kwlabel: TKwlabel is writable, noinit
+
+	# The name of the label, if any
+	var n_id: nullable TId is writable, noinit
 end
 
 # Expression and statements
@@ -1413,274 +1659,283 @@ abstract class AExpr
 	super Prod
 end
 
-# A sequence of AExpr (usually statements)
-# The last AExpr gives the value of the whole block
+# A sequence of `AExpr` (usually statements)
+# The last `AExpr` gives the value of the whole block
 class ABlockExpr
 	super AExpr
-	var n_expr: ANodes[AExpr] = new ANodes[AExpr](self)
-	var _n_kwend: nullable TKwend = null
-	fun n_kwend: nullable TKwend do return _n_kwend
-	fun n_kwend=(n_kwend: nullable TKwend) do _n_kwend = n_kwend
-	init do end
+
+	# The list of statements in the bloc.
+	# The last element is often considered as an expression that give the value of the whole block.
+	var n_expr = new ANodes[AExpr](self)
+
+	# The `end` keyword
+	var n_kwend: nullable TKwend = null is writable
 end
 
 # A declaration of a local variable. eg `var x: X = y`
 class AVardeclExpr
 	super AExpr
-	var _n_kwvar: TKwvar
-	fun n_kwvar: TKwvar do return _n_kwvar
-	fun n_kwvar=(n_kwvar: TKwvar) do _n_kwvar = n_kwvar
-	var _n_id: TId
-	fun n_id: TId do return _n_id
-	fun n_id=(n_id: TId) do _n_id = n_id
-	var _n_type: nullable AType = null
-	fun n_type: nullable AType do return _n_type
-	fun n_type=(n_type: nullable AType) do _n_type = n_type
-	var _n_assign: nullable TAssign = null
-	fun n_assign: nullable TAssign do return _n_assign
-	fun n_assign=(n_assign: nullable TAssign) do _n_assign = n_assign
+
+	# The `var` keyword
+	var n_kwvar: nullable TKwvar = null is writable
+
+	# The name of the local variable
+	var n_id: TId is writable, noinit
+
+	# The declaration type of the local variable
+	var n_type: nullable AType = null is writable
+
+	# The `=` symbol (for the initial value)
+	var n_assign: nullable TAssign = null is writable
 
 	# The initial value, if any
-	var _n_expr: nullable AExpr = null
-	fun n_expr: nullable AExpr do return _n_expr
-	fun n_expr=(n_expr: nullable AExpr) do _n_expr = n_expr
-	init do end
+	var n_expr: nullable AExpr = null is writable
 end
 
 # A `return` statement. eg `return x`
 class AReturnExpr
 	super AExpr
-	var _n_kwreturn: nullable TKwreturn = null
-	fun n_kwreturn: nullable TKwreturn do return _n_kwreturn
-	fun n_kwreturn=(n_kwreturn: nullable TKwreturn) do _n_kwreturn = n_kwreturn
-	var _n_expr: nullable AExpr = null
-	fun n_expr: nullable AExpr do return _n_expr
-	fun n_expr=(n_expr: nullable AExpr) do _n_expr = n_expr
-	init do end
+
+	# The `return` keyword
+	var n_kwreturn: nullable TKwreturn = null is writable
+
+	# The return value, if any
+	var n_expr: nullable AExpr = null is writable
 end
 
 # Something that has a label.
 abstract class ALabelable
 	super Prod
-	var _n_label: nullable ALabel = null
-	fun n_label: nullable ALabel do return _n_label
-	fun n_label=(n_label: nullable ALabel) do _n_label = n_label
-	init do end
+
+	# The associated label declatation
+	var n_label: nullable ALabel = null is writable
 end
 
-# A `break` statement.
-class ABreakExpr
+# A `break` or a `continue`
+abstract class AEscapeExpr
 	super AExpr
 	super ALabelable
-	var _n_kwbreak: TKwbreak
-	fun n_kwbreak: TKwbreak do return _n_kwbreak
-	fun n_kwbreak=(n_kwbreak: TKwbreak) do _n_kwbreak = n_kwbreak
-	var _n_expr: nullable AExpr = null
-	fun n_expr: nullable AExpr do return _n_expr
-	fun n_expr=(n_expr: nullable AExpr) do _n_expr = n_expr
-	init do end
+
+	# The return value, if nay (unused currently)
+	var n_expr: nullable AExpr = null is writable
+end
+
+# A `break` statement.
+class ABreakExpr
+	super AEscapeExpr
+
+	# The `break` keyword
+	var n_kwbreak: TKwbreak is writable, noinit
 end
 
 # An `abort` statement
 class AAbortExpr
 	super AExpr
-	var _n_kwabort: TKwabort
-	fun n_kwabort: TKwabort do return _n_kwabort
-	fun n_kwabort=(n_kwabort: TKwabort) do _n_kwabort = n_kwabort
-	init do end
+
+	# The `abort` keyword
+	var n_kwabort: TKwabort is writable, noinit
 end
 
 # A `continue` statement
 class AContinueExpr
-	super AExpr
-	super ALabelable
-	var _n_kwcontinue: nullable TKwcontinue = null
-	fun n_kwcontinue: nullable TKwcontinue do return _n_kwcontinue
-	fun n_kwcontinue=(n_kwcontinue: nullable TKwcontinue) do _n_kwcontinue = n_kwcontinue
-	var _n_expr: nullable AExpr = null
-	fun n_expr: nullable AExpr do return _n_expr
-	fun n_expr=(n_expr: nullable AExpr) do _n_expr = n_expr
-	init do end
+	super AEscapeExpr
+
+	# The `continue` keyword.
+	var n_kwcontinue: nullable TKwcontinue = null is writable
 end
 
 # A `do` statement
 class ADoExpr
 	super AExpr
 	super ALabelable
-	var _n_kwdo: TKwdo
-	fun n_kwdo: TKwdo do return _n_kwdo
-	fun n_kwdo=(n_kwdo: TKwdo) do _n_kwdo = n_kwdo
-	var _n_block: nullable AExpr = null
-	fun n_block: nullable AExpr do return _n_block
-	fun n_block=(n_block: nullable AExpr) do _n_block = n_block
-	init do end
+
+	# The `do` keyword
+	var n_kwdo: TKwdo is writable, noinit
+
+	# The list of statements of the `do`.
+	var n_block: nullable AExpr = null is writable
 end
 
 # A `if` statement
 class AIfExpr
 	super AExpr
-	var _n_kwif: TKwif
-	fun n_kwif: TKwif do return _n_kwif
-	fun n_kwif=(n_kwif: TKwif) do _n_kwif = n_kwif
-	var _n_expr: AExpr
-	fun n_expr: AExpr do return _n_expr
-	fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
-	var _n_then: nullable AExpr = null
-	fun n_then: nullable AExpr do return _n_then
-	fun n_then=(n_then: nullable AExpr) do _n_then = n_then
-	var _n_else: nullable AExpr = null
-	fun n_else: nullable AExpr do return _n_else
-	fun n_else=(n_else: nullable AExpr) do _n_else = n_else
-	init do end
-end
-
-# A `if` expression
+
+	# The `if` keyword
+	var n_kwif: TKwif is writable, noinit
+
+	# The expression used as the condition of the `if`
+	var n_expr: AExpr is writable, noinit
+
+	# The body of the `then` part
+	var n_then: nullable AExpr = null is writable
+
+	# The body of the `else` part
+	var n_else: nullable AExpr = null is writable
+end
+
+# A `if` expression (ternary conditional). eg. `if true then 1 else 0`
 class AIfexprExpr
 	super AExpr
-	var _n_kwif: TKwif
-	fun n_kwif: TKwif do return _n_kwif
-	fun n_kwif=(n_kwif: TKwif) do _n_kwif = n_kwif
-	var _n_expr: AExpr
-	fun n_expr: AExpr do return _n_expr
-	fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
-	var _n_kwthen: TKwthen
-	fun n_kwthen: TKwthen do return _n_kwthen
-	fun n_kwthen=(n_kwthen: TKwthen) do _n_kwthen = n_kwthen
-	var _n_then: AExpr
-	fun n_then: AExpr do return _n_then
-	fun n_then=(n_then: AExpr) do _n_then = n_then
-	var _n_kwelse: TKwelse
-	fun n_kwelse: TKwelse do return _n_kwelse
-	fun n_kwelse=(n_kwelse: TKwelse) do _n_kwelse = n_kwelse
-	var _n_else: AExpr
-	fun n_else: AExpr do return _n_else
-	fun n_else=(n_else: AExpr) do _n_else = n_else
-	init do end
+
+	# The `if` keyword
+	var n_kwif: TKwif is writable, noinit
+
+	# The expression used as the condition of the `if`
+	var n_expr: AExpr is writable, noinit
+
+	# The `then` keyword
+	var n_kwthen: TKwthen is writable, noinit
+
+	# The expression in the `then` part
+	var n_then: AExpr is writable, noinit
+
+	# The `else` keyword
+	var n_kwelse: TKwelse is writable, noinit
+
+	# The expression in the `else` part
+	var n_else: AExpr is writable, noinit
 end
 
 # A `while` statement
 class AWhileExpr
 	super AExpr
 	super ALabelable
-	var _n_kwwhile:  TKwwhile
-	fun n_kwwhile:  TKwwhile do return _n_kwwhile
-	fun n_kwwhile=(n_kwwhile:  TKwwhile) do _n_kwwhile = n_kwwhile
-	var _n_expr: AExpr
-	fun n_expr: AExpr do return _n_expr
-	fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
-	var _n_kwdo: TKwdo
-	fun n_kwdo: TKwdo do return _n_kwdo
-	fun n_kwdo=(n_kwdo: TKwdo) do _n_kwdo = n_kwdo
-	var _n_block: nullable AExpr = null
-	fun n_block: nullable AExpr do return _n_block
-	fun n_block=(n_block: nullable AExpr) do _n_block = n_block
-	init do end
+
+	# The `while` keyword
+	var n_kwwhile:  TKwwhile is writable, noinit
+
+	# The expression used as the condition of the `while`
+	var n_expr: AExpr is writable, noinit
+
+	# The `do` keyword
+	var n_kwdo: TKwdo is writable, noinit
+
+	# The body of the loop
+	var n_block: nullable AExpr = null is writable
 end
 
 # A `loop` statement
 class ALoopExpr
 	super AExpr
 	super ALabelable
-	var _n_kwloop: TKwloop
-	fun n_kwloop: TKwloop do return _n_kwloop
-	fun n_kwloop=(n_kwloop: TKwloop) do _n_kwloop = n_kwloop
-	var _n_block: nullable AExpr = null
-	fun n_block: nullable AExpr do return _n_block
-	fun n_block=(n_block: nullable AExpr) do _n_block = n_block
-	init do end
+
+	# The `loop` keyword
+	var n_kwloop: TKwloop is writable, noinit
+
+	# The body of the loop
+	var n_block: nullable AExpr = null is writable
 end
 
 # A `for` statement
 class AForExpr
 	super AExpr
 	super ALabelable
-	var _n_kwfor: TKwfor
-	fun n_kwfor: TKwfor do return _n_kwfor
-	fun n_kwfor=(n_kwfor: TKwfor) do _n_kwfor = n_kwfor
-	var n_ids: ANodes[TId] = new ANodes[TId](self)
-	var _n_expr: AExpr
-	fun n_expr: AExpr do return _n_expr
-	fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
-	var _n_kwdo: TKwdo
-	fun n_kwdo: TKwdo do return _n_kwdo
-	fun n_kwdo=(n_kwdo: TKwdo) do _n_kwdo = n_kwdo
-	var _n_block: nullable AExpr = null
-	fun n_block: nullable AExpr do return _n_block
-	fun n_block=(n_block: nullable AExpr) do _n_block = n_block
-	init do end
+
+	# The `for` keyword
+	var n_kwfor: TKwfor is writable, noinit
+
+	# The list of name of the automatic variables
+	var n_ids = new ANodes[TId](self)
+
+	# The expression used as the collection to iterate on
+	var n_expr: AExpr is writable, noinit
+
+	# The `do` keyword
+	var n_kwdo: TKwdo is writable, noinit
+
+	# The body of the loop
+	var n_block: nullable AExpr = null is writable
+end
+
+# A `with` statement
+class AWithExpr
+	super AExpr
+	super ALabelable
+
+	# The `with` keyword
+	var n_kwwith: TKwwith is writable, noinit
+
+	# The expression used to get the value to control
+	var n_expr: AExpr is writable, noinit
+
+	# The `do` keyword
+	var n_kwdo: TKwdo is writable, noinit
+
+	# The body of the loop
+	var n_block: nullable AExpr = null is writable
 end
 
 # An `assert` statement
 class AAssertExpr
 	super AExpr
-	var _n_kwassert: TKwassert
-	fun n_kwassert: TKwassert do return _n_kwassert
-	fun n_kwassert=(n_kwassert: TKwassert) do _n_kwassert = n_kwassert
-	var _n_id: nullable TId = null
-	fun n_id: nullable TId do return _n_id
-	fun n_id=(n_id: nullable TId) do _n_id = n_id
-	var _n_expr: AExpr
-	fun n_expr: AExpr do return _n_expr
-	fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
-	var _n_else: nullable AExpr = null
-	fun n_else: nullable AExpr do return _n_else
-	fun n_else=(n_else: nullable AExpr) do _n_else = n_else
-	init do end
+
+	# The `assert` keyword
+	var n_kwassert: TKwassert is writable, noinit
+
+	# The name of the assert, if any
+	var n_id: nullable TId = null is writable
+
+	# The expression used as the condition of the `assert`
+	var n_expr: AExpr is writable, noinit
+
+	# The body to execute when the assert fails
+	var n_else: nullable AExpr = null is writable
 end
 
 # Whatever is a simple assignment. eg `= something`
 abstract class AAssignFormExpr
 	super AExpr
-	var _n_assign: TAssign
-	fun n_assign: TAssign do return _n_assign
-	fun n_assign=(n_assign: TAssign) do _n_assign = n_assign
-	var _n_value: AExpr
-	fun n_value: AExpr do return _n_value
-	fun n_value=(n_value: AExpr) do _n_value = n_value
-	init do end
+
+	# The `=` symbol
+	var n_assign: TAssign is writable, noinit
+
+	# The right-value to assign.
+	var n_value: AExpr is writable, noinit
 end
 
 # Whatever is a combined assignment. eg `+= something`
 abstract class AReassignFormExpr
 	super AExpr
-	var _n_assign_op: AAssignOp
-	fun n_assign_op: AAssignOp do return _n_assign_op
-	fun n_assign_op=(n_assign_op: AAssignOp) do _n_assign_op = n_assign_op
-	var _n_value: AExpr
-	fun n_value: AExpr do return _n_value
-	fun n_value=(n_value: AExpr) do _n_value = n_value
-	init do end
+
+	# The combined operator (eg. `+=`)
+	var n_assign_op: AAssignOp is writable, noinit
+
+	# The right-value to apply on the combined operator.
+	var n_value: AExpr is writable, noinit
 end
 
 # A `once` expression. eg `once x`
 class AOnceExpr
-	super AProxyExpr
-	var _n_kwonce: TKwonce
-	fun n_kwonce: TKwonce do return _n_kwonce
-	fun n_kwonce=(n_kwonce: TKwonce) do _n_kwonce = n_kwonce
-	init do end
+	super AExpr
+
+	# The `once` keyword
+	var n_kwonce: TKwonce is writable, noinit
+
+	# The expression to evaluate only one time
+	var n_expr: AExpr is writable, noinit
 end
 
 # A polymorphic invocation of a method
-# The form of the invocation (name, arguments, etc) are specific
+# The form of the invocation (name, arguments, etc.) are specific
 abstract class ASendExpr
 	super AExpr
 	# The receiver of the method invocation
-	var _n_expr: AExpr
-	fun n_expr: AExpr do return _n_expr
-	fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
-	init do end
+	var n_expr: AExpr is writable, noinit
 end
 
 # A binary operation on a method
 abstract class ABinopExpr
 	super ASendExpr
+
+	# The operator
+	var n_op: Token is writable, noinit
+
 	# The second operand of the operation
 	# Note: the receiver (`n_expr`) is the first operand
-	var _n_expr2: AExpr
-	fun n_expr2: AExpr do return _n_expr2
-	fun n_expr2=(n_expr2: AExpr) do _n_expr2 = n_expr2
-	init do end
+	var n_expr2: AExpr is writable, noinit
+
+	# The name of the operator (eg '+')
+	fun operator: String is abstract
 end
 
 # Something that is boolean expression
@@ -1688,175 +1943,220 @@ abstract class ABoolExpr
 	super AExpr
 end
 
-# A `or` expression 
-class AOrExpr
+# Something that is binary boolean expression
+abstract class ABinBoolExpr
 	super ABoolExpr
-	var _n_expr: AExpr
-	fun n_expr: AExpr do return _n_expr
-	fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
-	var _n_expr2: AExpr
-	fun n_expr2: AExpr do return _n_expr2
-	fun n_expr2=(n_expr2: AExpr) do _n_expr2 = n_expr2
-	init do end
+
+	# The first boolean operand
+	var n_expr: AExpr is writable, noinit
+
+	# The operator
+	var n_op: Token is writable, noinit
+
+	# The second boolean operand
+	var n_expr2: AExpr is writable, noinit
+end
+
+# A `or` expression
+class AOrExpr
+	super ABinBoolExpr
 end
 
 # A `and` expression
 class AAndExpr
-	super ABoolExpr
-	var _n_expr: AExpr
-	fun n_expr: AExpr do return _n_expr
-	fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
-	var _n_expr2: AExpr
-	fun n_expr2: AExpr do return _n_expr2
-	fun n_expr2=(n_expr2: AExpr) do _n_expr2 = n_expr2
-	init do end
+	super ABinBoolExpr
 end
 
 # A `or else` expression
 class AOrElseExpr
-	super ABoolExpr
-	var _n_expr: AExpr
-	fun n_expr: AExpr do return _n_expr
-	fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
-	var _n_expr2: AExpr
-	fun n_expr2: AExpr do return _n_expr2
-	fun n_expr2=(n_expr2: AExpr) do _n_expr2 = n_expr2
-	init do end
+	super ABinBoolExpr
+
+	# The `else` keyword
+	var n_kwelse: TKwelse is writable, noinit
 end
 
 # A `implies` expression
 class AImpliesExpr
-	super ABoolExpr
-	var _n_expr: AExpr
-	fun n_expr: AExpr do return _n_expr
-	fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
-	var _n_expr2: AExpr
-	fun n_expr2: AExpr do return _n_expr2
-	fun n_expr2=(n_expr2: AExpr) do _n_expr2 = n_expr2
-	init do end
+	super ABinBoolExpr
 end
 
 # A `not` expression
 class ANotExpr
 	super ABoolExpr
-	var _n_kwnot: TKwnot
-	fun n_kwnot: TKwnot do return _n_kwnot
-	fun n_kwnot=(n_kwnot: TKwnot) do _n_kwnot = n_kwnot
-	var _n_expr: AExpr
-	fun n_expr: AExpr do return _n_expr
-	fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
-	init do end
+
+	# The `not` keyword
+	var n_kwnot: TKwnot is writable, noinit
+
+	# The boolean operand of the `not`
+	var n_expr: AExpr is writable, noinit
 end
 
 # A `==` expression
 class AEqExpr
 	super ABinopExpr
+	redef fun operator do return "=="
 end
 
 # A `!=` expression
 class ANeExpr
 	super ABinopExpr
+	redef fun operator do return "!="
 end
 
 # A `<` expression
 class ALtExpr
 	super ABinopExpr
+	redef fun operator do return "<"
 end
 
 # A `<=` expression
 class ALeExpr
 	super ABinopExpr
+	redef fun operator do return "<="
 end
 
 # A `<<` expression
 class ALlExpr
 	super ABinopExpr
+	redef fun operator do return "<<"
 end
 
 # A `>` expression
 class AGtExpr
 	super ABinopExpr
+	redef fun operator do return ">"
 end
 
 # A `>=` expression
 class AGeExpr
 	super ABinopExpr
+	redef fun operator do return ">="
 end
 
 # A `>>` expression
 class AGgExpr
 	super ABinopExpr
+	redef fun operator do return ">>"
 end
 
 # A type-ckeck expression. eg `x isa T`
 class AIsaExpr
 	super ABoolExpr
-	var _n_expr: AExpr
-	fun n_expr: AExpr do return _n_expr
-	fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
-	var _n_type: AType
-	fun n_type: AType do return _n_type
-	fun n_type=(n_type: AType) do _n_type = n_type
-	init do end
+
+	# The expression to check
+	var n_expr: AExpr is writable, noinit
+
+	# The `isa` keyword
+	var n_kwisa: TKwisa is writable, noinit
+
+	# The destination type to check to
+	var n_type: AType is writable, noinit
 end
 
 # A `+` expression
 class APlusExpr
 	super ABinopExpr
+	redef fun operator do return "+"
 end
 
 # A `-` expression
 class AMinusExpr
 	super ABinopExpr
+	redef fun operator do return "-"
 end
 
 # A `<=>` expression
 class AStarshipExpr
 	super ABinopExpr
+	redef fun operator do return "<=>"
 end
 
 # A `*` expression
 class AStarExpr
 	super ABinopExpr
+	redef fun operator do return "*"
+end
+
+# A `**` expression
+class AStarstarExpr
+	super ABinopExpr
+	redef fun operator do return "**"
 end
 
 # A `/` expression
 class ASlashExpr
 	super ABinopExpr
+	redef fun operator do return "/"
 end
 
 # A `%` expression
 class APercentExpr
 	super ABinopExpr
+	redef fun operator do return "%"
+end
+
+# A `|` expression
+class APipeExpr
+	super ABinopExpr
+	redef fun operator do return "|"
+end
+
+# A `^` expression
+class ACaretExpr
+	super ABinopExpr
+	redef fun operator do return "^"
+end
+
+# A `&` expression
+class AAmpExpr
+	super ABinopExpr
+	redef fun operator do return "&"
+end
+
+# A unary operation on a method
+class AUnaryopExpr
+	super ASendExpr
+
+	# The operator
+	var n_op: Token is writable, noinit
+
+	# The name of the operator (eg '+')
+	fun operator: String is abstract
 end
 
 # A unary minus expression. eg `-x`
 class AUminusExpr
-	super ASendExpr
-	var _n_minus: TMinus
-	fun n_minus: TMinus do return _n_minus
-	fun n_minus=(n_minus: TMinus) do _n_minus = n_minus
-	init do end
+	super AUnaryopExpr
+	redef fun operator do return "-"
+end
+
+# A unary plus expression. eg `+x`
+class AUplusExpr
+	super AUnaryopExpr
+	redef fun operator do return "+"
+end
+
+# A unary `~` expression
+class AUtildeExpr
+	super AUnaryopExpr
+	redef fun operator do return "~"
 end
 
 # An explicit instantiation. eg `new T`
 class ANewExpr
 	super AExpr
-	var _n_kwnew: TKwnew
-	fun n_kwnew: TKwnew do return _n_kwnew
-	fun n_kwnew=(n_kwnew: TKwnew) do _n_kwnew = n_kwnew
-	var _n_type: AType
-	fun n_type: AType do return _n_type
-	fun n_type=(n_type: AType) do _n_type = n_type
+
+	# The `new` keyword
+	var n_kwnew: TKwnew is writable, noinit
+
+	# The `type` keyword
+	var n_type: AType is writable, noinit
 
 	# The name of the named-constructor, if any
-	var _n_id: nullable TId = null
-	fun n_id: nullable TId do return _n_id
-	fun n_id=(n_id: nullable TId) do _n_id = n_id
-	var _n_args: AExprs
-	fun n_args: AExprs do return _n_args
-	fun n_args=(n_args: AExprs) do _n_args = n_args
-	init do end
+	var n_id: nullable TId = null is writable
+
+	# The arguments of the `new`
+	var n_args: AExprs is writable, noinit
 end
 
 # Whatever is a old-style attribute access
@@ -1864,16 +2164,11 @@ abstract class AAttrFormExpr
 	super AExpr
 
 	# The receiver of the attribute
-	var _n_expr: AExpr
-	fun n_expr: AExpr do return _n_expr
-	fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
+	var n_expr: AExpr is writable, noinit
 
 	# The name of the attribute
-	var _n_id: TAttrid
-	fun n_id: TAttrid do return _n_id
-	fun n_id=(n_id: TAttrid) do _n_id = n_id
+	var n_id: TAttrid is writable, noinit
 
-	init do end
 end
 
 # The read of an attribute. eg `x._a`
@@ -1892,15 +2187,10 @@ abstract class ACallFormExpr
 	super ASendExpr
 
 	# The name of the method
-	var _n_id: TId
-	fun n_id: TId do return _n_id
-	fun n_id=(n_id: TId) do _n_id = n_id
+	var n_id: TId is writable, noinit
 
 	# The arguments of the call
-	var _n_args: AExprs
-	fun n_args: AExprs do return _n_args
-	fun n_args=(n_args: AExprs) do _n_args = n_args
-	init do end
+	var n_args: AExprs is writable, noinit
 end
 
 # A complex setter call (standard or brackets)
@@ -1931,7 +2221,7 @@ class ACallAssignExpr
 end
 
 # A complex setter call with a standard method-name and any number of arguments. eg `x.m(y)+=z`. OR just a simple complex assignment.
-# Note: because the parser cannot distinguish a variable write with a compex setter call with an implicit receiver and no arguments, it always returns a `ACallReassignExpr`.
+# Note: because the parser cannot distinguish a variable write with a complex setter call with an implicit receiver and no arguments, it always returns a `ACallReassignExpr`.
 # Semantic analysis have to transform them to instance of `AVarReassignExpr`.
 class ACallReassignExpr
 	super ACallFormExpr
@@ -1941,38 +2231,35 @@ end
 # A call to `super`. OR a call of a super-constructor
 class ASuperExpr
 	super AExpr
-	var _n_qualified: nullable AQualified = null
-	fun n_qualified: nullable AQualified do return _n_qualified
-	fun n_qualified=(n_qualified: nullable AQualified) do _n_qualified = n_qualified
-	var _n_kwsuper: TKwsuper
-	fun n_kwsuper: TKwsuper do return _n_kwsuper
-	fun n_kwsuper=(n_kwsuper: TKwsuper) do _n_kwsuper = n_kwsuper
-	var _n_args: AExprs
-	fun n_args: AExprs do return _n_args
-	fun n_args=(n_args: AExprs) do _n_args = n_args
-	init do end
+
+	# The qualifier part before the super (currenlty unused)
+	var n_qualified: nullable AQualified = null is writable
+
+	# The `super` keyword
+	var n_kwsuper: TKwsuper is writable, noinit
+
+	# The arguments of the super
+	var n_args: AExprs is writable, noinit
 end
 
 # A call to the `init` constructor.
-# Note: because `init` is a keyword and not a `TId`, the explicit call to init cannot be a ACallFormExpr.
+# Note: because `init` is a keyword and not a `TId`, the explicit call to init cannot be a `ACallFormExpr`.
 class AInitExpr
 	super ASendExpr
-	var _n_kwinit: TKwinit
-	fun n_kwinit: TKwinit do return _n_kwinit
-	fun n_kwinit=(n_kwinit: TKwinit) do _n_kwinit = n_kwinit
-	var _n_args: AExprs
-	fun n_args: AExprs do return _n_args
-	fun n_args=(n_args: AExprs) do _n_args = n_args
-	init do end
+
+	# The `init` keyword
+	var n_kwinit: TKwinit is writable, noinit
+
+	# The arguments of the init
+	var n_args: AExprs is writable, noinit
 end
 
 # Whatever looks-like a call of the brackets `[]` operator.
 abstract class ABraFormExpr
 	super ASendExpr
-	var _n_args: AExprs
-	fun n_args: AExprs do return _n_args
-	fun n_args=(n_args: AExprs) do _n_args = n_args
-	init do end
+
+	# The arguments inside the brackets
+	var n_args: AExprs is writable, noinit
 end
 
 # A call of the brackets operator. eg `x[y,z]`
@@ -1989,10 +2276,9 @@ end
 # Whatever is an access to a local variable
 abstract class AVarFormExpr
 	super AExpr
-	var _n_id: TId
-	fun n_id: TId do return _n_id
-	fun n_id=(n_id: TId) do _n_id = n_id
-	init do end
+
+	# The name of the attribute
+	var n_id: TId is writable, noinit
 end
 
 # A complex setter call of the bracket operator. eg `x[y,z]+=t`
@@ -2007,7 +2293,7 @@ class AVarExpr
 	super AVarFormExpr
 end
 
-# A local variable simple assigment access
+# A local variable simple assignment access
 # The parser cannot instantiate them, see `ACallAssignExpr`.
 class AVarAssignExpr
 	super AVarFormExpr
@@ -2024,55 +2310,59 @@ end
 # A literal range, open or closed
 abstract class ARangeExpr
 	super AExpr
-	var _n_expr: AExpr
-	fun n_expr: AExpr do return _n_expr
-	fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
-	var _n_expr2: AExpr
-	fun n_expr2: AExpr do return _n_expr2
-	fun n_expr2=(n_expr2: AExpr) do _n_expr2 = n_expr2
-	init do end
+
+	# The left (lower) element of the range
+	var n_expr: AExpr is writable, noinit
+
+	# The right (uppr) element of the range
+	var n_expr2: AExpr is writable, noinit
 end
 
 # A closed literal range. eg `[x..y]`
 class ACrangeExpr
 	super ARangeExpr
-	var _n_obra: TObra
-	fun n_obra: TObra do return _n_obra
-	fun n_obra=(n_obra: TObra) do _n_obra = n_obra
-	var _n_cbra: TCbra
-	fun n_cbra: TCbra do return _n_cbra
-	fun n_cbra=(n_cbra: TCbra) do _n_cbra = n_cbra
-	init do end
+
+	# The opening bracket `[`
+	var n_obra: TObra is writable, noinit
+
+	# The closing bracket `]`
+	var n_cbra: TCbra is writable, noinit
 end
 
 # An open literal range. eg `[x..y[`
 class AOrangeExpr
 	super ARangeExpr
-	var _n_obra: TObra
-	fun n_obra: TObra do return _n_obra
-	fun n_obra=(n_obra: TObra) do _n_obra = n_obra
-	var _n_cbra: TObra
-	fun n_cbra: TObra do return _n_cbra
-	fun n_cbra=(n_cbra: TObra) do _n_cbra = n_cbra
-	init do end
+
+	# The opening bracket `[`
+	var n_obra: TObra is writable, noinit
+
+	# The closing bracket `[` (because open range)
+	var n_cbra: TObra is writable, noinit
 end
 
 # A literal array. eg. `[x,y,z]`
 class AArrayExpr
 	super AExpr
-	var _n_exprs: AExprs
-	fun n_exprs: AExprs do return _n_exprs
-	fun n_exprs=(n_exprs: AExprs) do _n_exprs = n_exprs
-	init do end
+
+	# The opening bracket `[`
+	var n_obra: TObra is writable, noinit
+
+	# The elements of the array
+	var n_exprs = new ANodes[AExpr](self)
+
+	# The type of the element of the array (if any)
+	var n_type: nullable AType = null is writable
+
+	# The closing bracket `]`
+	var n_cbra: TCbra is writable, noinit
 end
 
-# A read of `self` 
+# A read of `self`
 class ASelfExpr
 	super AExpr
-	var _n_kwself: nullable TKwself
-	fun n_kwself: nullable TKwself do return _n_kwself
-	fun n_kwself=(n_kwself: nullable TKwself) do _n_kwself = n_kwself
-	init do end
+
+	# The `self` keyword
+	var n_kwself: nullable TKwself = null is writable
 end
 
 # When there is no explicit receiver, `self` is implicit
@@ -2083,70 +2373,70 @@ end
 # A `true` boolean literal constant
 class ATrueExpr
 	super ABoolExpr
-	var _n_kwtrue: TKwtrue
-	fun n_kwtrue: TKwtrue do return _n_kwtrue
-	fun n_kwtrue=(n_kwtrue: TKwtrue) do _n_kwtrue = n_kwtrue
-	init do end
+
+	# The `true` keyword
+	var n_kwtrue: TKwtrue is writable, noinit
 end
+
 # A `false` boolean literal constant
 class AFalseExpr
 	super ABoolExpr
-	var _n_kwfalse: TKwfalse
-	fun n_kwfalse: TKwfalse do return _n_kwfalse
-	fun n_kwfalse=(n_kwfalse: TKwfalse) do _n_kwfalse = n_kwfalse
-	init do end
+
+	# The `false` keyword
+	var n_kwfalse: TKwfalse is writable, noinit
 end
+
 # A `null` literal constant
 class ANullExpr
 	super AExpr
-	var _n_kwnull: TKwnull
-	fun n_kwnull: TKwnull do return _n_kwnull
-	fun n_kwnull=(n_kwnull: TKwnull) do _n_kwnull = n_kwnull
-	init do end
+
+	# The `null` keyword
+	var n_kwnull: TKwnull is writable, noinit
 end
+
 # An integer literal
 class AIntExpr
 	super AExpr
 end
+
 # An integer literal in decimal format
 class ADecIntExpr
 	super AIntExpr
-	var _n_number: TNumber
-	fun n_number: TNumber do return _n_number
-	fun n_number=(n_number: TNumber) do _n_number = n_number
-	init do end
+
+	# The decimal token
+	var n_number: TNumber is writable, noinit
 end
+
 # An integer literal in hexadecimal format
 class AHexIntExpr
 	super AIntExpr
-	var _n_hex_number: THexNumber
-	fun n_hex_number: THexNumber do return _n_hex_number
-	fun n_hex_number=(n_hex_number: THexNumber) do _n_hex_number = n_hex_number
-	init do end
+
+	# The hexadecimal token
+	var n_hex_number: THexNumber is writable, noinit
 end
+
 # A float literal
 class AFloatExpr
 	super AExpr
-	var _n_float: TFloat
-	fun n_float: TFloat do return _n_float
-	fun n_float=(n_float: TFloat) do _n_float = n_float
-	init do end
+
+	# The float token
+	var n_float: TFloat is writable, noinit
 end
+
 # A character literal
 class ACharExpr
 	super AExpr
-	var _n_char: TChar
-	fun n_char: TChar do return _n_char
-	fun n_char=(n_char: TChar) do _n_char = n_char
-	init do end
+
+	# The character token
+	var n_char: TChar is writable, noinit
 end
+
 # A string literal
 abstract class AStringFormExpr
 	super AExpr
-	var _n_string: Token
-	fun n_string: Token do return _n_string
-	fun n_string=(n_string: Token) do _n_string = n_string
-	init do end
+
+	# The string token
+	var n_string: Token is writable, noinit
 end
 
 # A simple string. eg. `"abc"`
@@ -2170,123 +2460,143 @@ class AEndStringExpr
 end
 
 # A superstring literal. eg `"a{x}b{y}c"`
-# Each part is modelized a sequence of expression. eg. `["a{, x, }b{, y, }c"]`
+# Each part is modeled a sequence of expression. eg. `["a{, x, }b{, y, }c"]`
 class ASuperstringExpr
 	super AExpr
-	var n_exprs: ANodes[AExpr] = new ANodes[AExpr](self)
-	init do end
+
+	# The list of the expressions of the superstring
+	var n_exprs = new ANodes[AExpr](self)
 end
 
 # A simple parenthesis. eg `(x)`
 class AParExpr
-	super AProxyExpr
-	var _n_opar: TOpar
-	fun n_opar: TOpar do return _n_opar
-	fun n_opar=(n_opar: TOpar) do _n_opar = n_opar
-	var _n_cpar: TCpar
-	fun n_cpar: TCpar do return _n_cpar
-	fun n_cpar=(n_cpar: TCpar) do _n_cpar = n_cpar
-	init do end
-end
-
-# Whatevej just contains (and mimic) an other expression
-abstract class AProxyExpr
 	super AExpr
-	var _n_expr: AExpr
-	fun n_expr: AExpr do return _n_expr
-	fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
-	init do end
+
+	# The opening parenthesis
+	var n_opar: TOpar is writable, noinit
+
+	# The inner expression
+	var n_expr: AExpr is writable, noinit
+
+	# The closing parenthesis
+	var n_cpar: TCpar is writable, noinit
+end
+
+# A cast, against a type or `not null`
+class AAsCastForm
+	super AExpr
+
+	# The expression to cast
+	var n_expr: AExpr is writable, noinit
+
+	# The `as` keyword
+	var n_kwas: TKwas is writable, noinit
+
+	# The opening parenthesis
+	var n_opar: nullable TOpar = null is writable
+
+	# The closing parenthesis
+	var n_cpar: nullable TCpar = null is writable
 end
 
 # A type cast. eg `x.as(T)`
 class AAsCastExpr
-	super AExpr
-	var _n_expr: AExpr
-	fun n_expr: AExpr do return _n_expr
-	fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
-	var _n_kwas: TKwas
-	fun n_kwas: TKwas do return _n_kwas
-	fun n_kwas=(n_kwas: TKwas) do _n_kwas = n_kwas
-	var _n_opar: nullable TOpar = null
-	fun n_opar: nullable TOpar do return _n_opar
-	fun n_opar=(n_opar: nullable TOpar) do _n_opar = n_opar
-	var _n_type: AType
-	fun n_type: AType do return _n_type
-	fun n_type=(n_type: AType) do _n_type = n_type
-	var _n_cpar: nullable TCpar = null
-	fun n_cpar: nullable TCpar do return _n_cpar
-	fun n_cpar=(n_cpar: nullable TCpar) do _n_cpar = n_cpar
-	init do end
+	super AAsCastForm
+
+	# The target type to cast to
+	var n_type: AType is writable, noinit
 end
 
 # A as-not-null cast. eg `x.as(not null)`
 class AAsNotnullExpr
-	super AExpr
-	var _n_expr: AExpr
-	fun n_expr: AExpr do return _n_expr
-	fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
-	var _n_kwas: TKwas
-	fun n_kwas: TKwas do return _n_kwas
-	fun n_kwas=(n_kwas: TKwas) do _n_kwas = n_kwas
-	var _n_opar: nullable TOpar = null
-	fun n_opar: nullable TOpar do return _n_opar
-	fun n_opar=(n_opar: nullable TOpar) do _n_opar = n_opar
-	var _n_kwnot: TKwnot
-	fun n_kwnot: TKwnot do return _n_kwnot
-	fun n_kwnot=(n_kwnot: TKwnot) do _n_kwnot = n_kwnot
-	var _n_kwnull: TKwnull
-	fun n_kwnull: TKwnull do return _n_kwnull
-	fun n_kwnull=(n_kwnull: TKwnull) do _n_kwnull = n_kwnull
-	var _n_cpar: nullable TCpar = null
-	fun n_cpar: nullable TCpar do return _n_cpar
-	fun n_cpar=(n_cpar: nullable TCpar) do _n_cpar = n_cpar
-	init do end
+	super AAsCastForm
+
+	# The `not` keyword
+	var n_kwnot: TKwnot is writable, noinit
+
+	# The `null` keyword
+	var n_kwnull: TKwnull is writable, noinit
 end
 
 # A is-set check of old-style attributes. eg `isset x._a`
 class AIssetAttrExpr
 	super AAttrFormExpr
-	var _n_kwisset: TKwisset
-	fun n_kwisset: TKwisset do return _n_kwisset
-	fun n_kwisset=(n_kwisset: TKwisset) do _n_kwisset = n_kwisset
-	init do end
+
+	# The `isset` keyword
+	var n_kwisset: TKwisset is writable, noinit
 end
 
-# A elyspis notation used to pass an expression as it in a vararg parameter
+# An ellipsis notation used to pass an expression as it, in a vararg parameter
 class AVarargExpr
 	super AExpr
-	var _n_expr: AExpr
-	fun n_expr: AExpr do return _n_expr
-	fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
-	var _n_dotdotdot: TDotdotdot
-	fun n_dotdotdot: TDotdotdot do return _n_dotdotdot
-	fun n_dotdotdot=(n_dotdotdot: TDotdotdot) do _n_dotdotdot = n_dotdotdot
-	init do end
+
+	# The passed expression
+	var n_expr: AExpr is writable, noinit
+
+	# The `...` symbol
+	var n_dotdotdot: TDotdotdot is writable, noinit
 end
 
 # A list of expression separated with commas (arguments for instance)
-abstract class AExprs
-	super Prod 
-	var n_exprs: ANodes[AExpr] = new ANodes[AExpr](self)
-	init do end
+class AManyExpr
+	super AExpr
+
+	# The list of expressions
+	var n_exprs = new ANodes[AExpr](self)
 end
 
+# A special expression that encapsulates a static type
+# Can only be found in special construction like arguments of annotations.
+class ATypeExpr
+	super AExpr
+
+	# The encapsulated type
+	var n_type: AType is writable, noinit
+end
+
+# A special expression that encapsulates a method identifier
+# Can only be found in special construction like arguments of annotations.
+class AMethidExpr
+	super AExpr
+
+	# The receiver
+	var n_expr: AExpr is writable, noinit
+
+	# The encapsulated method identifier
+	var n_id: AMethid is writable, noinit
+end
+
+# A special expression that encapsulate an annotation
+# Can only be found in special construction like arguments of annotations.
+#
+# The encapsulated annotations are in `n_annotations`
+class AAtExpr
+	super AExpr
+end
 
+# A special expression to debug types
 class ADebugTypeExpr
 	super AExpr
-	var _n_kwdebug: TKwdebug
-	fun n_kwdebug: TKwdebug do return _n_kwdebug
-	fun n_kwdebug=(n_kwdebug: TKwdebug) do _n_kwdebug = n_kwdebug
-	var _n_kwtype: TKwtype
-	fun n_kwtype: TKwtype do return _n_kwtype
-	fun n_kwtype=(n_kwtype: TKwtype) do _n_kwtype = n_kwtype
-	var _n_expr: AExpr
-	fun n_expr: AExpr do return _n_expr
-	fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
-	var _n_type: AType
-	fun n_type: AType do return _n_type
-	fun n_type=(n_type: AType) do _n_type = n_type
-	init do end
+
+	# The `debug` keyword
+	var n_kwdebug: TKwdebug is writable, noinit
+
+	# The `type` keyword
+	var n_kwtype: TKwtype is writable, noinit
+
+	# The expression to check
+	var n_expr: AExpr is writable, noinit
+
+	# The type to check
+	var n_type: AType is writable, noinit
+end
+
+# A list of expression separated with commas (arguments for instance)
+abstract class AExprs
+	super Prod
+
+	# The list of expressions
+	var n_exprs = new ANodes[AExpr](self)
 end
 
 # A simple list of expressions
@@ -2297,192 +2607,254 @@ end
 # A list of expressions enclosed in parentheses
 class AParExprs
 	super AExprs
-	var _n_opar: TOpar
-	fun n_opar: TOpar do return _n_opar
-	fun n_opar=(n_opar: TOpar) do _n_opar = n_opar
-	var _n_cpar: TCpar
-	fun n_cpar: TCpar do return _n_cpar
-	fun n_cpar=(n_cpar: TCpar) do _n_cpar = n_cpar
-	init do end
+
+	# The opening parenthesis
+	var n_opar: TOpar is writable, noinit
+
+	# The closing parenthesis
+	var n_cpar: TCpar is writable, noinit
 end
 
 # A list of expressions enclosed in brackets
 class ABraExprs
 	super AExprs
-	var _n_obra: TObra
-	fun n_obra: TObra do return _n_obra
-	fun n_obra=(n_obra: TObra) do _n_obra = n_obra
-	var _n_cbra: TCbra
-	fun n_cbra: TCbra do return _n_cbra
-	fun n_cbra=(n_cbra: TCbra) do _n_cbra = n_cbra
-	init do end
+
+	# The opening bracket
+	var n_obra: TObra is writable, noinit
+
+	# The closing bracket
+	var n_cbra: TCbra is writable, noinit
 end
 
-# A complex assignment operator. eg `+=`
+# A complex assignment operator. (`+=` and `-=`)
 abstract class AAssignOp
 	super Prod
+
+	# The combined assignment operator
+	var n_op: Token is writable, noinit
+
+	# The name of the operator without the `=` (eg '+')
+	fun operator: String is abstract
 end
+
+# A `+=` assignment operation
 class APlusAssignOp
 	super AAssignOp
-	var _n_pluseq: TPluseq
-	fun n_pluseq: TPluseq do return _n_pluseq
-	fun n_pluseq=(n_pluseq: TPluseq) do _n_pluseq = n_pluseq
-	init do end
+
+	redef fun operator do return "+"
 end
+
+# A `-=` assignment operation
 class AMinusAssignOp
 	super AAssignOp
-	var _n_minuseq: TMinuseq
-	fun n_minuseq: TMinuseq do return _n_minuseq
-	fun n_minuseq=(n_minuseq: TMinuseq) do _n_minuseq = n_minuseq
-	init do end
+
+	redef fun operator do return "-"
+end
+
+# A `*=` assignment operation
+class AStarAssignOp
+	super AAssignOp
+
+	redef fun operator do return "*"
+end
+
+# A `/=` assignment operation
+class ASlashAssignOp
+	super AAssignOp
+
+	redef fun operator do return "/"
+end
+
+# A `%=` assignment operation
+class APercentAssignOp
+	super AAssignOp
+
+	redef fun operator do return "%"
 end
 
+# A `**=` assignment operation
+class AStarstarAssignOp
+	super AAssignOp
+
+	redef fun operator do return "**"
+end
+
+# A `|=` assignment operation
+class APipeAssignOp
+	super AAssignOp
+
+	redef fun operator do return "|"
+end
+
+# A `^=` assignment operation
+class ACaretAssignOp
+	super AAssignOp
+
+	redef fun operator do return "^"
+end
+
+# A `&=` assignment operation
+class AAmpAssignOp
+	super AAssignOp
+
+	redef fun operator do return "&"
+end
+
+# A `<<=` assignment operation
+class ALlAssignOp
+	super AAssignOp
+
+	redef fun operator do return "<<"
+end
+
+# A `>>=` assignment operation
+class AGgAssignOp
+	super AAssignOp
+
+	redef fun operator do return ">>"
+end
+
+# A possibly fully-qualified module identifier
 class AModuleName
 	super Prod
-	var _n_quad: nullable TQuad = null
-	fun n_quad: nullable TQuad do return _n_quad
-	fun n_quad=(n_quad: nullable TQuad) do _n_quad = n_quad
-	var n_path: ANodes[TId] = new ANodes[TId](self)
-	var _n_id: TId
-	fun n_id: TId do return _n_id
-	fun n_id=(n_id: TId) do _n_id = n_id
-	init do end
+
+	# The starting quad (`::`)
+	var n_quad: nullable TQuad = null is writable
+
+	# The list of quad-separated project/group identifiers
+	var n_path = new ANodes[TId](self)
+
+	# The final module identifier
+	var n_id: TId is writable, noinit
 end
+
+# A language declaration for an extern block
 class AInLanguage
 	super Prod
-	var _n_kwin: TKwin
-	fun n_kwin: TKwin do return _n_kwin
-	fun n_kwin=(n_kwin: TKwin) do _n_kwin = n_kwin
-	var _n_string: TString
-	fun n_string: TString do return _n_string
-	fun n_string=(n_string: TString) do _n_string = n_string
-	init do end
+
+	# The `in` keyword
+	var n_kwin: TKwin is writable, noinit
+
+	# The language name
+	var n_string: TString is writable, noinit
 end
+
+# An full extern block
 class AExternCodeBlock
 	super Prod
-	var _n_in_language: nullable AInLanguage = null
-	fun n_in_language: nullable AInLanguage do return _n_in_language
-	fun n_in_language=(n_in_language: nullable AInLanguage) do _n_in_language = n_in_language
-	var _n_extern_code_segment: TExternCodeSegment
-	fun n_extern_code_segment: TExternCodeSegment do return _n_extern_code_segment
-	fun n_extern_code_segment=(n_extern_code_segment: TExternCodeSegment) do _n_extern_code_segment = n_extern_code_segment
-	init do end
+
+	# The language declration
+	var n_in_language: nullable AInLanguage = null is writable
+
+	# The block of extern code
+	var n_extern_code_segment: TExternCodeSegment is writable, noinit
 end
+
+# A possible full method qualifier.
 class AQualified
 	super Prod
-	var _n_quad: nullable TQuad = null
-	fun n_quad: nullable TQuad do return _n_quad
-	fun n_quad=(n_quad: nullable TQuad) do _n_quad = n_quad
-	var n_id: ANodes[TId] = new ANodes[TId](self)
-	var _n_classid: nullable TClassid = null
-	fun n_classid: nullable TClassid do return _n_classid
-	fun n_classid=(n_classid: nullable TClassid) do _n_classid = n_classid
-	init do end
+
+	# The starting quad (`::`)
+	var n_quad: nullable TQuad = null is writable
+
+	# The list of quad-separated project/group/module identifiers
+	var n_id = new ANodes[TId](self)
+
+	# A class identifier
+	var n_classid: nullable TClassid = null is writable
 end
 
 # A documentation of a definition
 # It contains the block of comments just above the declaration
 class ADoc
 	super Prod
-	var n_comment: ANodes[TComment] = new ANodes[TComment](self)
-	init do end
+
+	# A list of lines of comment
+	var n_comment = new ANodes[TComment](self)
 end
 
+# A group of annotation on a node
+#
+# This same class is used for the 3 kind of annotations:
+#
+# * *is* annotations. eg `module foo is bar`.
+# * *at* annotations. eg `foo@bar` or `foo@(bar,baz)`.
+# * *class* annotations, defined in classes.
 class AAnnotations
 	super Prod
-	var _n_at: nullable TAt = null
-	fun n_at: nullable TAt do return _n_at
-	fun n_at=(n_at: nullable TAt) do _n_at = n_at
-	var _n_opar: nullable TOpar = null
-	fun n_opar: nullable TOpar do return _n_opar
-	fun n_opar=(n_opar: nullable TOpar) do _n_opar = n_opar
-	var n_items: ANodes[AAnnotation] = new ANodes[AAnnotation](self)
-	var _n_cpar: nullable TCpar = null
-	fun n_cpar: nullable TCpar do return _n_cpar
-	fun n_cpar=(n_cpar: nullable TCpar) do _n_cpar = n_cpar
-	init do end
+
+	# The `@` symbol, for *at* annotations
+	var n_at: nullable TAt = null is writable
+
+	# The opening parenthesis in *at* annotations
+	var n_opar: nullable TOpar = null is writable
+
+	# The list of annotations
+	var n_items = new ANodes[AAnnotation](self)
+
+	# The closing parenthesis in *at* annotations
+	var n_cpar: nullable TCpar = null is writable
 end
+
+# A single annotation
 class AAnnotation
-	super Prod
-	var _n_doc: nullable ADoc = null
-	fun n_doc: nullable ADoc do return _n_doc
-	fun n_doc=(n_doc: nullable ADoc) do _n_doc = n_doc
-	var _n_kwredef: nullable TKwredef = null
-	fun n_kwredef: nullable TKwredef do return _n_kwredef
-	fun n_kwredef=(n_kwredef: nullable TKwredef) do _n_kwredef = n_kwredef
-	var _n_visibility: nullable AVisibility
-	fun n_visibility: nullable AVisibility do return _n_visibility
-	fun n_visibility=(n_visibility: nullable AVisibility) do _n_visibility = n_visibility
-	var _n_atid: AAtid
-	fun n_atid: AAtid do return _n_atid
-	fun n_atid=(n_atid: AAtid) do _n_atid = n_atid
-	var _n_opar: nullable TOpar = null
-	fun n_opar: nullable TOpar do return _n_opar
-	fun n_opar=(n_opar: nullable TOpar) do _n_opar = n_opar
-	var n_args: ANodes[AAtArg] = new ANodes[AAtArg](self)
-	var _n_cpar: nullable TCpar = null
-	fun n_cpar: nullable TCpar do return _n_cpar
-	fun n_cpar=(n_cpar: nullable TCpar) do _n_cpar = n_cpar
-	init do end
-end
-abstract class AAtArg
-	super Prod
-end
-class ATypeAtArg
-	super AAtArg
-	var _n_type: AType
-	fun n_type: AType do return _n_type
-	fun n_type=(n_type: AType) do _n_type = n_type
-	init do end
-end
-class AExprAtArg
-	super AAtArg
-	var _n_expr: AExpr
-	fun n_expr: AExpr do return _n_expr
-	fun n_expr=(n_expr: AExpr) do _n_expr = n_expr
-	init do end
-end
-class AAtAtArg
-	super AAtArg
+	super ADefinition
+
+	# The name of the annotation
+	var n_atid: AAtid is writable, noinit
+
+	# The opening parenthesis of the arguments
+	var n_opar: nullable TOpar = null is writable
+
+	# The list of arguments
+	var n_args = new ANodes[AExpr](self)
+
+	# The closing parenthesis
+	var n_cpar: nullable TCpar = null is writable
+
+	# The name of the annotation
+	fun name: String
+	do
+		return n_atid.n_id.text
+	end
 end
+
+# An annotation name
 abstract class AAtid
 	super Prod
-	var _n_id: Token
-	fun n_id: Token do return _n_id
-	fun n_id=(n_id: Token) do _n_id = n_id
-	init do end
+
+	# The identifier of the annotation.
+	# Can be a TId of a keyword
+	var n_id: Token is writable, noinit
 end
+
+# An annotation name based on an identifier
 class AIdAtid
 	super AAtid
 end
+
+# An annotation name based on the keyword `extern`
 class AKwexternAtid
 	super AAtid
 end
-class AKwinternAtid
-	super AAtid
-end
-class AKwreadableAtid
-	super AAtid
-end
-class AKwwritableAtid
+
+# An annotation name based on the keyword `import`
+class AKwimportAtid
 	super AAtid
 end
-class AKwimportAtid
+
+# An annotation name based on the keyword `abstract`
+class AKwabstractAtid
 	super AAtid
 end
 
 # The root of the AST
 class Start
 	super Prod
-	var _n_base: nullable AModule
-	fun n_base: nullable AModule do return _n_base
-	fun n_base=(n_base: nullable AModule) do _n_base = n_base
-	var _n_eof: EOF
-	fun n_eof: EOF do return _n_eof
-	fun n_eof=(n_eof: EOF) do _n_eof = n_eof
-	init(n_base: nullable AModule, n_eof: EOF)
-	do
-		self._n_base = n_base
-		self._n_eof = n_eof
-	end
+
+	# The main module
+	var n_base: nullable AModule is writable
+
+	# The end of file (or error) token
+	var n_eof: EOF is writable
 end