let let_expansion p = 
   expp Vmap.empty (ref 0) p