declared and installed Homogenization for ring elements

upon Thomas Bächler's request