What would a software interface for writing look like if we hadn't started with the deeply entrenched prior of the typewriter?