Salamun aleyka my brother. Sorry, I know it's too late for anyone to respond, but this doubt is saned with a short response that I saw. It's related to grammar.
Here it is: https://sites.google.com/site/muslimanswers/Home/contradictions/is-iblis-an-angel-or-jinn
You gave good definitions, let me add this one:
The term Iblīs (Arabic: إِبْلِيس) may have been derived from the Arabic verbal root bls ب-ل-س (with the broad meaning of "remain in grief") or بَلَسَ (balasa, "he despaired"). Furthermore, the name is related to talbis meaning confusion.
Peace.
Here it is: https://sites.google.com/site/muslimanswers/Home/contradictions/is-iblis-an-angel-or-jinn
You gave good definitions, let me add this one:
The term Iblīs (Arabic: إِبْلِيس) may have been derived from the Arabic verbal root bls ب-ل-س (with the broad meaning of "remain in grief") or بَلَسَ (balasa, "he despaired"). Furthermore, the name is related to talbis meaning confusion.
Peace.