Statically typing dnfs and add some methods for containment- and equivalence-testing