Teach flow-enhanced about uids
Lift pop-assign? to the term level
Modernize set-uids
Reset the uid each time we compile a new pda
There's a flat equality lattice on pda-term's
Reset the uids each time we call set-uids on a PDA