make path agnostic
use 'v' in the values non-terminal for cons pairs
add enum generation to stlc