Add transparent Traceable and Untraceable types to aid proper rooting pr...

...actices, and replace ad-hoc Untraceable structs with empty Encodable implementations.