Gravar-mail: Nonlinear Dirac Equations, Monotonicity Formulas and Liouville Theorems