typematch
typematch(type1, type2)
if (typematch(itemp, list))
if (typematch(inputp, outputp) && pp->lhead) {