How's it going to work for more complex tree and type creators, e.g. those that create auxiliary symbols?