This patch adds freestanding template aliases NodeTag<Node> and
ImplementationTag<Node>. This improves readability and allows a future
extension to nodes that do not carry the nested tag types (by
introducing an intermediate dispatch mechanism). But for now, it's just
about readability...