Add implementation overview to eval.c.

Piggy-back two more test (both of which will fail due to extra trailing
characters).