It is feasible that you want to override the constructor of an instance, which this prevents. Also all the other constructors in this PR are `value` only, as are the constructors in the repetition.