Faceted Counters for HyperDex