Text this: Variational inequalities of strongly nonlinear elliptic operators of infinite order