is_primitive_type
*ty = is_primitive_type(t->subtype->type) ? PRIM : CONS;
is_primitive_type(m->type->subtype->type) ? "PRIM" : "CONS",
is_primitive_type(t->subtype->type) ? "PRIM" : "CONS");
int is_primitive_type(int);
is_primitive_type(t->subtype->type) ? "PRIM" : "CONS",