pub fn alpha_equiv(e1: &Expr, e2: &Expr) -> bool
Check if two expressions are alpha equivalent.
Alpha equivalence means the expressions are structurally identical modulo renaming of bound variables.