Function declarations

In order to make things simpler (and on the contrary of the example of Section 1), we can restrict function declarations to

FunctionDeclaration

$\longmapsto$

( TypeSequence ) $\longrightarrow$ TypeOrVoid

and forbid

FunctionDeclaration

$\longmapsto$

Type $\longrightarrow$ TypeOrVoid