Dominic: check value type fields as a precondition in constructor