Xtext Typesystem Framework 2.0
I have just released a beta version of the
Xtext Typesystem Framework, version 2.0. It is compatible with version 2.0 of
Xtext. I am thankful to
Achim Demelt who did the port to Xtext 2.0. What I did in the meantime was adding a textual DSL to specify the typing rules:

The DSL provides a more concise syntax, as well as static error checking for a bunch of typical errors. Get it :-)