refactor: extract commons of LetIn, Program, Binding into resolve(ast,update_to)
refactor: extract a lookup function