Add docstrings for EmptyHash, EmptySet, EmptyVector, and so on