pub fn nat_is_even(args: Vec<RtVal>) -> ExpTerm