Improve highlighting of definitions with totality

Now, definitions with totality specifiers are properly highlighted.
Highlight infix operator definitions correctly
Highlight definitions with impossible clauses
Highlight %assert_total in a scary manner
Fix highlighting of directives