@gvwilson

Very interesting use-case concepts. It inspired me to think of use-cases for type systems generally, and I find them to be:
- establishing interface contracts (function signatures)
- inline variable documentation (falling out of fashion, implied typing has mostly superseded this)
- reduce possible application space (especially enum types are used for this)
- (I've probably forgot something)

I find the use-case tagging to be part of that inline variable documentation, and thus also something most developers would prefer is automatically generated.

All in all I enjoy the direction of your project and more development tooling will utilize these concepts in the future.