replacing definition equality by the exact equality type in TTS description ...