It's a bit hastily put together, but I made a dspy fork where you can add a decorator to automatically use TypeSafe where possible on Signatures. It shows a fair bit of what actual, hands on usage looks like.
Thanks for putting this together. I'm surprised the cost saving is so little though. I expected much more based on the post.