In Hanafi classification, witr prayer illustrates which category?

Classes of Normative Rulings: Fard, Wajib, Sunnah and Nafl

• Definitively established fard
• Merely permissible
• Necessarily a non-emphasized Sunnah
• Wajib