pub fn eval_nat_cmp(op: &str, lhs: u64, rhs: u64) -> Option<&'static str>
Evaluate a Nat comparison, returning a Bool literal constant name.