Add Copy2

Picked out the changes of copy2.ml from layer branch

• This MR adds Copy2 and removes Copy
  • It may be better to replace the old one with the new one (Can I rename the current Copy2 to Copy?)
  • Including changes to diff.ml