Summary
- merged
- updated subtle side-conditions;
- some uses of 'obtain' with structure statement;
- 'obtain' supports structured statements (similar to 'define');
- more portable: GNU find no longer supports "-perm +mode";
- more uniform operations for structured statements;
- defs are closed, which leads to proper auto_bind_facts; misc tuning;
- tuned notation;
- misc tuning and modernization;