Thanks for the nice words. I&#x27;m not sure about my conclusions either -- I&#x27;m particularly unhappy with how I described the type system for the data store. Type systems need more than ten minutes thought.<p>As other people have pointed out in this thread pretty much everything I talk about has been implemented by one program or another. It hasn&#x27;t all been collected into one user environment though, and without doing that it&#x27;s hard to envision the details of how things in that environment should fit together.