Add --annotate flag.
Add missing LPAREN to coerce
irrelevant changes
Merge branch 'brazil-standalone' of github.com:andrejbauer/tt into brazil-standalone

Conflicts:
	brazil/typing.ml
Merge branch 'brazil-standalone' of github.com:andrejbauer/tt into brazil-standalone