So there are stucts (all values present), messages (some values may be omitted) and enums (pick one, but has not value).

I miss "tagged unions" or enums with values a.k.a. sumtypes.