Summary
- prefer typed UUID;
- unload_theories after consolidation -- reset node_required; proper node_perspective (amending 0d8e4e777973);
- support for "use_theories";
- JSON representation for Position.T;
- interruptible exploration of dependencies;
- tuned signature;
- clarified signature;
- clarified signature;
- tuned message;
- proper options;
- tuned options;