typesequiv
static int typesequiv(const struct state * sp, int a, int b);
if (typesequiv(sp, sp->types[i], sp->types[0]) &&
if (typesequiv(sp, sp->types[sp->timecnt - 1],