Type for NodeTree now disallows empty trees, as that would be an invariant violation