Common lisp: dynamic types and typechecking

An introduction to lisp's dynamic typing and the use of basic typechecking functions