(\x x).a;
(\x (x.x)).a;
(\x (x.x)).(\x (f.x));
(\x (x.x)).(\x (x.x));
(\x y).((\x (x.x)).(\x (x.x)));
