I need to add `fold` in the sequence language and `fold_t` and `fold_s` in the space-time IR.
I need to add
foldin the sequence language andfold_tandfold_sin the space-time IR.