IR: basic implementation for expression lists (not fresh temporaries yet!)