renamed DefaultArrayValue to Zero,

made semiring imply Zero
Merge branch 'haszero'