Implement a red-green tree framework for the Syntax Tree

[LPeter1997]

Since we want to stay immutable, I think one of the best alternatives we have for the AST would be a red-green tree. Since they would be a bit cumbersome to write by hand, we could generate it with either SGs or even just from an external DSL.