The "no 0 value" part begs for type classes/traits, which for these Go contracts means not restricting contract functions to be methods.

  contract Zero(T) {
    Zero() T
  }

> We feel that more experience with this design is needed before deciding what, if anything, to do here.

Hopefully the more experience leads the Go designers to solutions some production-quality languages already have to solve this :)