Unification fix

If a variable is already solved with a user's term, don't try to infer a
new value for it.

Fixes #1381
New regression test
Fix doc rot on effects.
Merge pull request #1397 from jfdm/doc/effects

Fix doc rot on effects.