Cleaned up Documentation
Simplified Memo.

By changing the use of aif2 to or2=, memo is much simpler than it was
before.
Simplified Tests
identity -> idfn
plus -> plusp

This way my bad.
Greatly simplified dependencies.

Hopefully if there is some dependency that is incorrect, it will
completely break so some error message will pop up.