Added todos and rearranged sections.
Minor changes to ILImp.v