Type Specking Is Still a Needed Tool in the Olin Community

type specs and then like private code, I tend to add them to top level modules for documentation purposes. They do definitely add value to what's the generated documentation because you can easily access them there. The gradualizer project right going on, but that has more velocity in the Olin community. There is some effort also to make it available through for Alexia,. But basically it takes the type specs as they are and interprets them in a more strict manner.