we are generating almost-correct trees. two issues remain: how to handle the starting term (rn our approach causes a weird duplicate) and also understand why we are getting anomalously permuted order within a level of the tree