ASR: bettern argument names for StringContains

[certik]

Currently the ASDL definition is:

StringContains(expr left, expr right, ttype type, expr? value)

And we should rename left to substr and right to str.

[Ayush-Devs]

I would like to work on this.