Shortening a large number of variable names in order to make room for more metadata in DistSymmInfo. All usages of clear() were also replaced with statements of the form std::vector<T>().swap( x ) in order to forcibly free the memory of x.