Personally I'd rather see this class of problem solved at the language level [0] through strong typing of DSLs, rather than at the editor level. Nonetheless this is still an interesting approach.

[0] http://www.cs.cmu.edu/~aldrich/wyvern/