Example expression language with type sytem for the XtextCon session "Implementing Type Systems"