Declared and installed property IsMonicUptoUnit for homalg ring elements