Inlining and simplifying more typecheck code.
Inlining and simplifying more typecheck code.

hippich/typescript,mbebenita/shumway.ts,fdecampredon/jsx-typescript-old-version,mbebenita/shumway.ts,popravich/typescript,popravich/typescript,popravich/typescript,mbebenita/shumway.ts,hippich/typescript,hippich/typescript,fdecampredon/jsx-typescript-old-version,fdecampredon/jsx-typescript-old-version