Adding type checking spec so I can post about it.