PRIMITIVECHAR
if (strchr(toadd, PRIMITIVECHAR))
if (thedefn[0] == PRIMITIVECHAR) {
if (thedefn[0] == PRIMITIVECHAR)