We need an equivalent of `EvaluateBuiltinStrLen`, and use that in `Expr::tryEvaluateStrLen` as well as `Expr::tryEvaluateString`.