[math-fun] common refinements of partitions (was: muffins)