I love this. I'm frequently experimenting with the "syntactic sugar" possibilities of the TypeScript type inference system, and am truly in awe of your implementation (as well as the excellent and thorough commenting).