ابن فرحون؛ إبراهيم بن علي بن محمد، ابن فرحون، برهان الدين اليعمري