Update Lisp syntax and semantic section