Standalone version of brazil.
Forgot to merge with master first
Merge branch 'master' into brazil-standalone

Conflicts:
	doc/brazil.tex
Removed indices from names, modified rules
parentheses around hints
Coercions with a single index (the upper one)
Changes to syntax
Going away for lunch.
Both versions of lambda abstraction
Synthesizing elimnators for paths and equality
Rule NORM-G is not so general anymore
Check hints before comparing whnf
New Brazil committed in an unworkable state.
Remove G
Got rid of synthesizing (domain-type-less) lambdas
Stand-alone brazil for Chris to look at
Merge branch 'brazil-standalone' of https://github.com/andrejbauer/tt into brazil-standalone
Added type annotations to applications
Added type annotations to lambdas
A stand-alone brazil that compiles.