Report mal-formed EBound
Report mal-formed EBound

If 'i' is out of range, find throws a Failure exception with explanation
"nth".  Handle that as a type_error instead of an unhandled exception.

FStarLang/kremlin,FStarLang/kremlin,FStarLang/kremlin,FStarLang/kremlin