Parse a list of one or more structure declarations.
(parse-struct-declaration-list parstate) → (mv erp structdecls span new-parstate)
We parse the first structure declaration, which must be present. Then we recursively call this function if the next token may start another structure declaration.