Expanders and Typing Abbreviation Systems