Actually IMB Executive typewriters did use proportional fonts, according to people who have used them in the past.