Allow string type variables for guards

Allow string type variables for guards of trace pattern, e.g.

```
module:search(S, '_') when S >= "100", S =< "300" -> return
```