Rename modifyDecList to modifyDescList. Same for the strict version.
Clarify the comments for modifyAscList' and modifyDescList'.
Rename ifs' to pifs in modifyAscListX for consistency.