org.apache.daffodil.dpath
For a numeric operation, compute types the args should be converted to, and the resulting type from the operation on them.
For a comparison operator, compute type to which the args should be converted