Khayyālī, Aḥmad ibn Musá, d. 1458.