removed RelationUtils.Domain_conv_Range; existed in library as Relation.Domain_converse (thanks to Tobias Nipkow for pointing out)