Use transitions' dot labels when generating dot.
Add DotName(const Argument&).

This provides a string that Dot can understand, e.g. using a star to represent "any".
Show function arguments in dot output.
Catch all FieldAssignment == cases.
Trivial: more sensible name for struct tags.