infer_top returns decls
Add functor application
Add ValNameMap