Algebraic Theory Of Locally Nilpotent Derivations