clarified antiquotations, assuming that Drule.instantiate_normalize was merely a historical relic;