General theory of $\nabla$-models