Some early definitions of the Tawriya and Safadī's Faḍḍ al-Xitām ʻan at-Tawriya wa-'l-Istixdām