Slight progress with nag proofs.
Update eval to have AssignVar handle reads like Assign does.

Breaks the definition of the ngraphOf constant in nag-theory.
All the other proofs continue to work.