dict size dictionary

Returns the number of (distinct) keys in the dictionary.

---