Fixed problem 11 partial problem 12

The code for problem 12 is probably fine itself as the problems appear
to originate from either a malformed do_lambda_form or do_define_form.
Get on your debugging horse