Static type checking in the programmable programming language (Lisp). #lisp