Report unmatched [
Matchers must have invariants
Handle disallowed markup