Optionally specify blocks of arguments that should have the same type. Mostly, this is so that larger AD primitives that work by e.g. unpacking Vectors don’t compile a zillion useless overloads. I’m sure there’s a better long-term solution, but this is good for now.