It is typed, but it's not very well typed. List is 'null or cons' for instance, not 'null or (cons * list)'. Also lack of generics so you can't have a class which holds an element of a generic type which can be determined later on in the compilation process (e.g. a weight-balanced tree which holds elements of a given type).