Inclusion:
Change to Text and Sum type for values
Possible further changes to Pangraph type, possible parametrization data Pangraph v e = ...