Remove the type T from Input.J, it is magenta.
Various mistakes noticed during implementation
Top half of `syn_term`
Merge branch 'brazil-standalone' of github.com:andrejbauer/tt into brazil-standalone

Conflicts:
	brazil/typing.ml