A discrete measure on finitely many parameter atoms; the shape of \(\widehat{W}_0\).
print() shows the atoms and their weights as a table when
there are at most eight, and the atom count with the heaviest atom
otherwise; atoms() and weights() give the full support either way.
Usage
finite_dist(atoms = NULL, weights = integer(0))