Parse an initializer with an optional designation.
(parse-designation?-initializer parstate) → (mv erp desiniter span new-parstate)
We read the next token. If it may start a designation, we try and parse a designation; then we try and parse an initializer. If the token may start an initializer, we parse an initializer. Note that there is no overlap between the starts of designations and initializers.