Add alpha equivalence check for Expr, and use it when lambda lifting
Merge