const Digit1To51: union(
  Digit1To9,
  templateLiteral(union("1", "2", "3", "4"), Digit),
  templateLiteral("5", union("0", "1")),
);