Which best describes nafl as a legal category?

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

• A duty established by definitive proof
• Devotion beyond fard and wajib
• An act whose omission necessarily causes reproach
• A report attributed only to a Companion