Changes

Change grammar so that an annotation is always followed by semicolon

This matches how annotations are placed in other parts of the grammar.

Remove trailing white-space

Change proposal to use annotation instead of special syntax

This shows that we don't really need any new syntax for handling the choice of solver method, at the cost of having this important information hidden away in an annotation.

Change grammar so that an annotation is always followed by semicolon

This matches how annotations are placed in other parts of the grammar.

Remove trailing white-space

Change proposal to use annotation instead of special syntax

This shows that we don't really need any new syntax for handling the choice of solver method, at the cost of having this important information hidden away in an annotation.