declared and installed Homogenization for ring elements

upon Thomas Bächler's request

18:26:33 Thomas Bächler: baust du mir ein homogenize?
18:26:38 mohamed.barakat: ja, mache ich
18:26:38 Thomas Bächler: den rest krieg ich hin