Each `binary` element must have exactly two elements of either `star` or `binary`.

(hence it's called "binary")