tweak
memo-izing freevars uvars at each syntax node