Parse message definitions and compute their sizes

Parse text definitions of message types made of typed fields, where a field can be another message type. Report each field's type and each message's total size from given primitive sizes, resolving nested and out-of-order definitions.