Goals and use cases for a system that stores, queries, and manipulates equations | Dark Hacker News