Delete TypeChecker after all :P