Needs found during usability:
- Quire needs clearer documentation.
- Both homogenize and explain "party" vs "location" vs ...
- Explain what type level strings are and where to learn more
- Everything needs more documentation and examples.
- Explain what conclaves are and when they're needed.
- organize API based on use, not implementation.
- What is located vs naked computation? How does one choose?
- How does one choose betweeen congruently/locally/purely?
- Congruently's documentation might suggest it can't access located variables.
Needs found during usability: