Probably good do this in two steps: introduce language blocks for DSL examples that indicate which ones are "full" and testable (vs snippets), and then make a script that scrapes all the full ones out of the docs and parses/typechecks/tests them.