Это называется строгая типизация, а не упущение
так мы не нарушаем строгость типизации , если скажем разрешить определять строку в одинарных кавычках , то никаких проблем я тут не вижу. Если нам нужен чар , так ради бога char x = 's' , если нужна строка string x = 's'. Есть правда нюанс с var , компилятору будет непонятно какой тип мы имеем ввиду при таком var x = 's' , возможно в этом дело.