Lifted Property datastructures; Modified Container (GSet, GSeq, GOrder) implementations