I don't know about "linn" meaning "waterfall" in Scotland and Ireland, but it does indeed mean "pool"; hence Dublin's original Gaelic name "Dubh Linn" (DOOV linn), meaning "Black Pool". "Linn" also means "age" (as in a period of time) or "era" in Irish and Scots Gaelic.