Improve the micro passes to eliminate pattern let f := fun x => g x

Improve the micro passes to eliminate pattern let f := fun x => g x #236