Translate F* lexer regexp, using ASCII classes instead of Unicode classes.