update language defn
add basic impl (unfinished) of closure conversion