Label structs when they are members of other structs.

Adds the type label for non-pointer struct fields, since fields that are pointers to structs are usefully labeled.