Why are types anti-lisp?