Create nat_order.idr