Add PARTITION-IF(-NOT) and EQUIVALENCE-CLASSES. Improve documentation.