Clean up terminology: step 2 — more renaming, and using actual words

[lqd]

In which The Great Renaming ™ is basically done:

• continues the region to origin migration in the rest of polonius-engine
• renames MovePath to Path
• more consistent terminology around loans (preferred to borrows or Bs)
• uses words instead of single-letters in comments, datalog rules, datafrog closures, etc basically everywhere, for all Atoms
• minor cleanups here and there

[lqd]

However, since the names are now more descriptive, should I remove some of the "types" which were added to describe the single-letters variables, from e.g.

the origin `origin` may refer to data from loan `loan` starting at the point `point`

to something like

the `origin` may refer to data from `loan` starting at `point`

?

---

edit: this has been done in following commits

[amandasystems]

That sounds like a good way to make it more readable. :)

…

On 19 Sep 2019, 08:47 +0200, lqd ***@***.***>, wrote: However, since the names are now more descriptive, should I remove some of the "types" which were added to describe the single-letters variables, from e.g. the origin `origin` may refer to data from loan `loan` starting at the point `point` to something like the `origin` may refer to data from `loan` starting at `point` ? — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub, or mute the thread.

[lqd]

rebased, squashed, and ready to go