Gravar-mail: Programming languages for synthetic biology