Metaborgの文法定義

http://d.hatena.ne.jp/hoge1e3/20070304 で書いたMetaborgの文法定義のしかた．

Chapter 2. Syntax Definition and Pretty-Printing - http://nix.cs.uu.nl/dist/stratego/strategoxt-manual-unstable-latest/manual/chunk-chapter/demo-sdf.html
いわゆる文脈自由文法 (S -> Sa みたいなの) で書いていくオーソドックスな定義．
タイトルが示すとおり，Syntax Definition と Pretty-Printing は別途定義するみたいだ（ugly-printingなら定義しなくていいのかな?? )