Add annotation syntax for [global_with_type] constraints.

Merged Rodolphe Lepigre requested to merge ci/global_constr into master

This fixes part of #30.

Edited by Rodolphe Lepigre

Merge request reports