Drop element-wise representations for now
Rename Cat to GSet
use Π to name variables
add the inv field
Rename VGpd to VSet