Implemented all variants of join and group that don't use folding

Do we still need this check?