!htp Add `Tuple` context bounds where they add value for safety and API documentation

 So far the added overhead appears to be limited.
 Logic that is mostly based on fully generic extractions (like `PathMatcher`) becomes a bit more intricate, but the improved API signatures should pay off that cost. Also, we don't expect users to write a lot of fully generic code.
=hco Fix small copy-pasta mistake