More commute tests, fixed some allocations in Tx, fixed signatures for commute functions