Types of a block item, from the validation information.
(block-item-types item) → types
We return a set of optional types, as in stmt-types: see the documentation of that function for a rationale.
