geodetic measuring instrument Synonyms