Describir: Algebraic Theory of Locally Nilpotent Derivations