Beginnings of a k-ary tree class

I think this will make it easier to compute the images of elements under
automorphisms.