Abbrev processing: now expanding short forms and annotating them