Gravar-mail: A pointfree theory of Pervin spaces