Gravar-mail: On infinitary equational hybrid logic