pub fn eval_nat(expr: &Expr) -> Option<u64>
Evaluate a closed Nat arithmetic expression to a literal, if possible.