Document literal string CHECK directives

The documentation could be better, but I'm feeling lazy.