pub fn is_beta_normal(expr: &Expr) -> bool
Check whether an expression is in normal form: no beta-redexes at top level.