Přijde mi, že psát o typech v CL a zmiňovat obligátní čísla, symboly a consy a nezmínit ostatní - sekvence/pole, objekty, hash tabulky, streamy a pod - jen utvrzuje dojem, že CL je něco teoretického z pravěku.
I ty dál popisované lambda funkce (a obecněji closures - "let over lambda") jsou koneckonců ne zkratka zápisu, ale univerzální typ, který může být v proměnné nebo který funkce může vracet.