Some progress towards a working RootedTripletDistribution. Almost works!