Gravar-mail: A relational approach to bidirectional transformation