Sharḥ al-mufaṣṣal - Ibn Yaʻīsh, Abū al-Baqāʼ Yaʻīsh ibn ʻAlī, 1158-1245