And that type system is written in a Lisp (Scheme).