Animation scripts added.
Makefile added.
logtree-anim added.
Better GIFs.
Faster animations.
The Plus predicate renamed to _+'_≡'_.
DOT files added + readability improvements.
A pattern case simplified.