Unification of Graphs and Relations in Mizar