printing/Ppvernac: Cosmetics.
printing/Ppvernac: Fix missing keyword tagging on definition introducers.
printing/Ppvernac: Fix missing keyword tagging on theorem introducers.