Fixed the bug we identified with IM.copy.  But there must be something else, because Infer.hs isnt passing any tests atm.