Second Addendum:

Böhm Trees:

https://en.wikipedia.org/wiki/B%C3%B6hm_tree

Seem like they might be related to this discussion in some way...