Fixing tensortrace
First take at indexnotation