Gravar-mail: Prototyping Controlled Mathematical Languages in Jupyter Notebooks