Pitch Shifter

I’m wondering about a pitch shifting module, looking for something that works kinda like the Digitech Whammy pedal. Searching for “pitch shift” modules finds a bunch of delay/granular synthesis stuff, not what I’m looking for.

That's because you're looking in the wrong place. Try under "Effect" instead. A number of the Spin FV-1-based modules are pitch-shift capable, and there are others in this category that have that capability. Also, some granular devices are capable of doing real-time pitchshifting, so you can't dismiss them outright...have a look in the module descriptions and you'll find a few.

Another possibility would be a Digitech Whammy pedal if you're set on that sound. To incorporate that into your rig, you'll need an effects-loop module that handles the appropriate level step-down/step-up to go from the modular to the pedal and back.