Implement a proper recursive tree for membership

[tmcw]

#732 implements a proper recursive tree for parameters and properties. I will do the same for membership, and then as a follow up, tag #189 as help wanted since it'll be much more straightforward to implement.