Fix Obsidian/Atomic so that the types are in harmony with other parts of the
code.
Add a new histogram function `fullHistogram`. It's currently faulty but
it's on the right track.