Express coupling between these arguments via types

[PeterJCLaw]

This also encourages callers to express their constant ranges as tuple constants, which should further clarify that they're coupled.

Builds on #412.