Updated optimization pragmas in modules Memo and Memo.Unboxed