Improved generic handling for generation of binary expressions. This commit removes code that generates the types of child nodes of the binary expression itself. Clearly this is the responsibility of the child nodes.