encapsulate tree depth and ancestor tracking using a monad

[michaelficarra]

I don't know why it didn't hit me earlier that this is the job for a monad. This should be pretty simple, remove tons of duplication for nodes that don't care about the above properties, and possibly make our generators more reusable/composable.