TypeCheker start