Well of course IBM made typewriters! It looks like the 'IBM Executive' landed in 1944 with the ability to do proportional spacing:

https://en.wikipedia.org/wiki/IBM_Electric#Executive

Wow, TIL.