Syntax definition for folds