subtype: Move `constrains_param` computation into subtyping (#61645)

This is a significant cleanup of he semantics of subtyping envout by removing any semantic relation between TypeVars and the inputs. See #61634 and #61645 for more details.

Co-authored-by: Claude Opus 4.7 <noreply@anthropic.com>