Fix MondClass argument behavior in the lambda binder, add tests for it
Add tests for return type bindings