Universal_Hash_Families: Avoid using non-descriptive theory names.

Note: The namespace for theory names is global, i.e., a name like "Definitions" is likely to cause collisions.