Gravar-mail: Classifying equivalence relations in the Ershov hierarchy