Order-pp is meant to be standalone but https://github.com/rofl0r/order-pp/blob/master/inc/order/prelude/nat.h uses chaos-pp. I suppose we need to reimplement those in order-pp to rectify it.