Update nat_order.idr