Code Editor : typecheck.h