PREVIEW: added simple Knuth-Bendix completion algorithm

This isn't ready yet, but could you please drop a couple of lines on how it should be organized if it isn't ok the way I've done it