Create the DecidableNilpotent class.