typedef: give an existing type another name...