Let's use the same approach for `nTimes` that we also used for `str` and `ch`: we simply match the `times` argument as a `Tree` and substitute it directly into our rule method implementation. This way we don't require literal constants but can also work with everything else that is typed as an `Int`.