some more documentation
documented lemma runiq_except
documented lemma runiq_extend_singleton
documented lemma runiq_replace
documented lemma runiq_replace'
documented lemma runiq_conv_extend_singleton
documented lemma runiq_conv_replace
documented lemma runiq_conv_replace'