Ibn Mālik, Badr al-Dīn Muḥammad ibn Muḥammad, d. 1287.