Docs: documentation for stack-checker.* and compiler.* vocabs