Add Atom's copy constructor.
Merge branch 'master' into diadem
Add data structures suitable for XRewriteAlgorithm.