some tests for anonymous functions (used within some method, not returned). more to come. correct expected type when typing the body of an anf-transformed function tree