Modify.hs: implement usageModify