Fold CoreSpec modules