@node Type Hierarchy
Lisp types are organized in a hierarchy, this means that types can
-derive from other types. Objects of a type A (which derives from type
-B) inherite all the charateristics of type B. This also means that
-every objects of type A is at the same time of type B.
+derive from other types. Objects of a type B (which derives from type
+A) inherite all the charateristics of type A. This also means that
+every objects of type B is at the same time of type A.
Every type derives from type @code{t}.
@image{type_hierarchy,,,,png}
For example type @code{list} derives from (is a special kind of) type
-@code{sequence} wich on itself derives from @code{t}.
+@code{sequence} which on itself derives from @code{t}.