propagateTypeOfBinaryOperation

Determines how to propagate types across binary operations since these may differ among the programming languages.