John Barrow, Dictionarium polygraphicum (1735)