And also enhances the reflected type parsing so that the types of all implementations so far will parse.
A first pass at specifying some implementations in TypeScript that actually compiles. It doesn't do anything, as installing types and operation specifications are currently dummy operations, but they are all invoked.
