The Share constructor should accept either a field *or* a value, not both. When
a value is given the field is redundant and it leads to code like this:

  a = Share(runtime, Zp, Zp(a_value))

which looks strange.