Gravar-mail: Recent Progress in the Theories of Modular and Formal Invariants and in Modular Geometry