A hello-world example of what it looks like, and what running it would validate, would be nice.

It's all very abstractly described in the README and that intro page you linked.

Fair enough! I'm probably doing a demo video that'd help with this. Maybe can condense that in text form into the readme as well.