ExactTex. A gradually-typed superset of LaTeX