added eta rule in meta to solve problems of the form: ?u = \x. ?u x