Rollup property: Add count distinct

[Burobert]

Roll up properties are great. There may be cases tho, where the existing operators are not sufficient.

Namely, count distinct would be a valuable operator for certain use cases.