better arith error in case of nonlinear while in linear logic