Summary
- merged
- tuned signature (again);
- trim context of persistent data;
- trim context of persistent data;
- proper file name;
- trim context of persistent data; tuned signature;
- clarified data operations, with trim_context and transfer;
- tuned;
- trim context of persistent data; tuned;
- trim context of persistent data;
- removed unused material;
- trim context of persistent data;
- trim context of persistent data; no need to trim context for del operations;
- tuned;
- tuned whitespace;
- more operations;
- optional trace of created theory values;
- more operations;
- auxiliary operation for space profiling;