Fix highlight type, add highlighting of format strings

Credit to @cam72cam for patch.

true and false are now highlighted using bool colors.

Format strings such as `"%d"` are now highlighted - this should get most of them. Namely, `"%[0]s"` is missing.
Why do we need them when the keywords are already defined above ?