RelEx2Logic clean-up-inst implementation

Specified in http://wiki.opencog.org/w/RelEx2Logic#Cleaning_Up_Instances

Done.