A literate form of TypeScript for embedding type information in documentation