Add support for lambdas and application.

Lambdas and application are now supported for synthesis and checking.
Additionally, tc-info now has an errors field for logging errors.