let mk_nonneg a = of_atom(Nonneg(a))