Promote StructField to protobuf message.

We will also need to reference struct fields when we handle expressions like 'previously(foo(s->field))'.
Add missing equality test.