Distinguishing type of intention modification.
Improving pretty printing of things going to default evaluation base.
Merge remote-tracking branch 'origin/omniscient' into omniscient
Fixing an incorrect merge.
Adding a event to note modifications to intentions.
Merge remote-tracking branch 'origin/omniscient' into omniscient
Tweaking wording in pretty printing to make distinction between events and deeds clearer.
Prettier pritning of no plan yet deeds.