Tweak types of Hierarchical trait so it's less stupid and actually useful
Enhance archival context in doc unit sidebar. Fixes #164