Check that constructor functions always create new copies of the objects

[dpvc]

This will prevent inadvertent changes to the original when you coerce one object to another type. It currently can ether change the original object's type, or change some of its data (e.g., its context).