Can a primitive has singleton and non-singleton produce methods
Singleton primitives are those which are returning only one value in their produce method. But now that we have multiple produce methods possible, maybe this should not be anymore per-primitive, but per-produce method? How we would signal that though?