Правильно я понимаю наследование типов данных в лиспе? - Lisp

Формулировка задачи:

Я где-то читал в pcl или еще где о наследовании типов данных в лиспе, помоему оно похоже на Java только не все есть object. Может кто помнит или знает, какие типы данных есть в лиспе и как они наследуются???

          ---> Cons Cell ---> NIL
         /
        / 
       /
OBJECT 
       \                        /---> T
        \            ---> Symbol|---> Var
         \          /           \---> Function
          ---> Atom  
                    \           /---> INT
                     ---> Number|---> FLOAT
                                |---> COMPLEX
                                \---> RATIO

Решение задачи: «Правильно я понимаю наследование типов данных в лиспе?»

textual
                            Листинг программы 
                        

                            Object{:type typeof() toString()}
ConsCell{:car :cdr} extends Object
Atom{:name :data} extends Object
T = Atom{"T", true}
NIL = Atom{enum{"NIL", "`()"}, ConsCell{NULL, NIL}}
                        