The Proper Translation is Model Not Type