svoid automate_typeString(S s) {
  for (char c : characters(s))
    automate_type(c);
}