remove isNonZero from Semigroup

Closes #178.