distribute dummy on Add in _osborne

Rather than make the osborne and the osbornei roundtrip by dividing
by d in osbornei to undo the multiplying in osborne, the simple
replacement of d with 1 is used instead.

If the dummy is not distributed, arguments that looked like the addition
of two terms no longer appear so and some transformations (like TR12)
then fail.
i.e. without the extra collection of I, the 7788 failing test will still pass but the one I added would notl, so it is actually testing for the need of using collect.

All the changes are being pushed now.