Typowanie poprawiono i zautomatyzowano w Lisp-maszynie Symbolics, model 3600, kiedy zamiast 32-bitowych słów maszynowych użyto 36-bitowych, a później 40-bitowych lub dłuższych. Spośród dodatkowych bitów, początkowe oznaczały typ zmiennej, a pozostałe bity były użyte do kodowania CDR, wspomagającego odśmiecanie pamięci, co przyspieszało odśmiecanie o rząd wielkości. Kolejne poprawki dotyczyły wprowadzenia dwóch dodatkowych instrukcji mikrokodu, które wspomagały wywołanie funkcji Lispu, skracając czas ich wywołania (w niektórych implementacjach Symbolics) nawet do 20 cyklów zegara.
Pierwsza z Lisp-maszyn, CONS, swoją nazwę zawdzięcza operatorowi tworzenia listy w języku Lisp. Nazywa się ją również pieszczotliwie „Maszyną Knighta”, ponieważ była ona tematem jego dobrze przyjętej w środowisku pracy magisterskiej. Była ona stopniowo ulepszana, a następną jej wersję opartą na tej samej architekturze nazwano CADR (nazwa pochodzi od funkcji Lisp zwracającej drugi element z listy). Około 25 prototypowych komputerów CADR sprzedano zarówno na uczelni, jak i poza nią w cenie ok. dolarów za sztukę. Bardzo szybko stała się ulubionym komputerem społeczności hakerskiej – wiele spośród najpopularniejszych narzędzi oprogramowania zostało przeniesionych na CADR (na przykład w 1975 zaadaptowano edytor tekstu Emacs).