-* think about a better system for EXTVARs, separate \set and \get functions are clunky
\ No newline at end of file
+* think about a better system for EXTVARs, separate \set and \get functions are clunky
+* impl_def_val: allow num_exp
+* fix right recursion of let_exp and set_exp
+* numeral suffixes
\ No newline at end of file