Why would someone use this instead of, say, TLA+ or Alloy?<p>TLA+ is already an "extremely lightweight specification language", with a super-useful model checker, and a ton of tooling around it (e.g. VSCode plugin), books, talks, hundreds of battle-tested examples online, etc.