Spoofax definition of a little toy language to demonstrate syntax definition, name binding, and type system