Experimental statically-typed Lisp-like language.