freegroup 1.1-4
commutator .[a,b] implemented