Hmm...

the problem now appears to be that certain idents (y in foo) don’t have
values associated with them, so it’s unclear how to represent this in
the IR… maybe I’ll skip this part for now and focus on the BB/CFG/DT
creation!