Implement SigmaDDFactory (abstract class) (without fromTerm function)
and the SigmaDD trait - DONE.