update to work with spire 0.7.3

The only real change here besides version bump is that Semiring has a zero now, so I had to add that.