A treatise on levelling, topography, and higher surveying