Computer Typesetting: Experiments and Prospects