Changes

Summary

1. Some basic materials on filters and topology
2. merged
3. more accurate position for auxiliary files;
4. clarified signature;
5. tuned;
6. more careful treatment position: existing facts refer to interpretation command, future facts refer to themselves (see also 4270da306442);
7. tuned;
8. tuned signature;
9. clarified signature;
10. clarified signature: explicit type Locale.registration;
11. tuned;
12. tuned;
13. updated URL to remote TPTP, following heads-up from Geoff Sutcliffe