Add Kernel.T to mimic Prolog's term syntax
Add MultiwayTree.nnodes