structurallyEquals() and findVar() no longer abstract
isList no longer in Term hierarchy