[R6RS] `contract-violation'

[Michael Sperber]

Will has indicated that he dislikes the name `contract-violation'.
While writing it up, I noticed that &contract is a subtype of &defect,
not &violation, and that the corresponding predicate is (presently)
named contract-defect?.  Consequently, following that reasoning
`contract-violation' should be called `contract-defect', which I
suspect Will will also dislike.  Alternative suggestions?

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla