IR*: Implemented lists
Main: option for showing IR
IR*: Eseq and Mem where not needed...