Parse a block item.
(parse-block-item parstate) → (mv erp item span new-parstate)
As explained in amb-decl/stmt, there is a complex syntactic overlap between expression statements and declarations, which are the two kinds of block items; the overlap cannot be disambiguated purely syntactically. Thus, under the appropriate conditions, we parse a possibly ambiguous declaration or statement.