geodetic instrument Synonyms