Update Kate syntax highlighting

Two small changes: `Not` was missing from the list of core traits and `assert` was removed from the language.