Add documentation for module digital sets. Update DigitalSetDomain and SetPredicate.
Update kernel concepts.