More comments and cleanup
Added a simple smoke test; warnings are errors
Still more commenting
Fixed a bug, plus more cleanup
Annotated brazil Lambdas with return types
Continued commenting