RelEx2Logic clean-up-inst implementaiton

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