Add TypeCheck template