added simple Knuth-Bendix completion algorithm