pub fn alpha_eq(e1: &Expr, e2: &Expr) -> bool
Check if two expressions are equal after full normalization.