A nonlinear theory of generalized functions