François Perrad

`const` is fine too. For an example (with a small module) of the tedious syntax of annotation, see

In fact, the check coming with the annotation `` needs some update.

`self` usually brings the message `invoked method as a regular function: consider using ':' instead of '.'`