Seol É Seo mar Theachtaireacht Téacs: Algebraic Theory of Locally Nilpotent Derivations