replace [(k,v)] by Assoc k v in `find`
finish closure conversion