"Creative misuse" refers to intended use. TLA+ isn't "meant" for these things, it just happens to be good for some (and kinda-okay for others). But that's the beauty of tools: it doesn't matter what they were designed to do, you can use them for whatever you need them to do.

It's harder to find creative misuses for programming languages because they're "intended" be general purpose. They're more like a material than a tool.