Truly WIP. Migrate libdss in Mozart 1 to Mozart 2 by replacing all TaggedRef to Nodes.