Tweaked semantics to support closure-captured dfvars.
WARNING: Compilation is getting slower. I need to figure
out how to speed it up.