e.g. `terminal(String_t, "\"")` should not be an easy bug to write - [ ] maybe rename it to `uncheckedTerminal`, then have a `function terminal` that `error`s if the string doesn't match the regex - [ ] have helpers for e.g. constructing a string literal Expr that does escaping