Use the new FieldAssignment.base (not 'name').
Stub out Transition::Arguments().

Let a Transition object know about its TESLA arguments (e.g. the variables it references).

This code doesn't do much yet, but it probably has the right signatures!