[IMP-dev] More proposed simplifications to IMP