Misc errors when errors happen

When things go really wrong, a lot more things also go wrong.

(NB this builds on #83 at present, so merge that first.)

how about `WARN_OR_IF_DYNAMIC_THEN_FAIL_MARKING_INESSENTIAL` ?  agree javadoc.  agree, would rather a better semantics.