Started implementation of typed lisp intermediate language