added BatSubstring.equal