stepping toward getting negative differentials
slightly more efficient production of MultiplicationEntries on tensor
fully correct leibniz application, along with naive redundancy checking to keep invertible class propagation under control. :)