well-formedness of a context is not just variable containment, close #394
add 76db618 to errata
Merge pull request #397 from mikeshulman/wfctx

well-formedness of a context is not just variable containment, close #394