braidingtensor cant deduce deducable links

[maartenvd]

chained braidingtensors cannot be correctly deduced, even though in principle they can.

tau[... 2;-3 ...] * tau [... 1;2 ...]

if the macro analyzes the first tau, it would give up, while actually the second tau shows that 1 - which it knows - is the same space as 2, and therefore the same space as -3.

There seems to be currently no way to control the order of deducing (it gets stored in a dict, so loses all order). I will also look into this.