rename sort-error? to soft-error?

strictly speaking this changes the public API, but the previous name
has clearly been a typo.
add doc strings to hard-error? and soft-error?
Change log update