Got rid of synthesizing (domain-type-less) lambdas
Merge branch 'brazil-standalone' of https://github.com/andrejbauer/tt into brazil-standalone
Added type annotations to applications
Added type annotations to lambdas