Changes

Summary

1. proper theory naming after join (reset due to merge_data);
2. support join of anonymous theory nodes, e.g. relevant for parallel theory construction;
3. clarified history stage: allow independent updates that are merged later;