Code Editor : typecheck.i