Emits TLX DSL source code from a compiled spec module.

Useful for documentation, code generation, and round-trip verification.