Added classes for encoding a provenance polynomial