Auto computed type constraints for functions #706
Description
Currently the type constraints for onnx functions in the generated OpSchemas are hand specified (e.g. TReal etc.). Since the graph in a function is fully defined, we may be able to generate the type constraints as well (using some graph algorithms) and automatically update/correct the type annotations in the function definitions.