gradual type constraint generation (#80095)
Generate high-level gradual type constraints for an fx graph. Those constraints include operations such as matching and consistency and are generated per node.
Pull Request resolved: https://github.com/pytorch/pytorch/pull/80095
Approved by: https://github.com/anijain2305, https://github.com/jamesr66a
