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.
Fixed in 08e4283