correct indent (3 spaces) of documentation in .sig files
New generic code for performing term-sorts wrt AC operators.