make path agnostic
use 'v' in the values non-terminal for cons pairs
add enum generation to stlc
tests for bitmaps as images in universe
world changes for bitmaps as images in universe
redex: fix some more benchmark paths
Swap remaining unsafe and chaperone-unsafe operation in the TR optimizer.

Fixes the fix in aba046a92d42.