TypeSafety: Support non-zero-indexed arrays in ensure(). Improve phrasing of Exception messages