[WIP] Begin code generation for control flow and Phis

Could merge with the subsequent match: `case ProjExtr(ProjExtr(n, Start.pnTArgs), num)...`