Provide the name of the field being assigned to.

This is mostly about debuggability and being able to put correct-looking graphs in the paper.
Provide more helper errors from 'tesla' script.
Add some basic tests of TESLA instrumentation.

This is just the beginning, but it's a framework for writing TESLA tests. I've used these tests to prove to myself that I've introduced a bug into instrumentation.