Formalize %-annotations and entrypoints
This is a reboot of !30 (closed) targeting dev.
Annotations are still ignored at lexing time but the semantically meaningful ones are supported in the typed and untyped syntaxes.
Edited by Raphaël Cauderlier