Fix ambiguity in ABC.md to match AboutABC.md

Just a minor issue; ABC.md implies that the right branch of the sums in the type for '?' must be a block, whereas AboutABC.md says they can be anything.