Compound types now produce deep copies when valcopy is on, and
documentation can now have contracts