Rework symbol table

CHANGELOG.md

@@ -1,5 +1,9 @@
 # Changelog
 
+## NEXT
+
+Rework symbol table for more accurate definitions.
+
 ## v1.6.3
 
 Fix crashes when file has grammar errors.

CONTRIBUTE.md

@@ -80,6 +80,8 @@ Go to definition:
 - [x] Add go to definition functionality; see https://tomassetti.me/integrating-code-completion-in-visual-studio-code/
 - [x] Invalidate cache of consumers when library stored
 - [x] Support additional ways of declaring variables (e.g. in REDUCTION lib)
+- [ ] Properly implement macro resolution (see TODOs in corresponding unit test)
+- [ ] Improve performance by considering previous resolutions
 
 Support writing ProVerif:
 - [x] Configure language

docs/kitchensink.pv

@@ -29,7 +29,7 @@ channel public2.
 
 table Storage(key_t).
 
-letfun no_conversion(key: key_t) = let k' = convert(key) in k'. 
+letfun no_conversion(key: key_t) = let k' = convert(key) in new k2: bitstring; get Storage(=key) in k2. 
 let publish(key: key_t or fail) = out(public, key). 
 
 set attacker = passive.