Refactor Node

The implementation of Node and its heirs is monolithic. This makes it hard to get an overview, introduces needless cross-dependencies (if you need one type node somewhere, you get them all) that make unit testing unnecessarily complicated, and slows down static code analysis to the point where it sometimes halts. Chop the implementation into chunks of a reasonable size.