-* 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
\ No newline at end of file