The mutually recursive call chain by which bindings are turned into class instances is fairly hard to follow. This was highlighted recently in this PR comment: #49 (comment)
This issue documents the task of simplifying this call chain and serves as a place to centralize discussion around this topic.