Adding Cardinality & IsEmptyHuh & Add & Remove tests