Index: doc/_common.html
==================================================================
--- doc/_common.html
+++ doc/_common.html
@@ -24,11 +24,11 @@
 
 </td></tr>
 		<tr><td id="docfooter">
 			Page was generated with
 			<img src="candydoc/img/candydoc.gif" style="vertical-align:middle; position:relative; top:-1px">
-			on Wed Nov 24 20:33:10 2010
+			on Wed Nov 24 21:12:49 2010
 
 		</td></tr>
 	</table>
 </div>
 <script>

Index: doc/ast.html
==================================================================
--- doc/ast.html
+++ doc/ast.html
@@ -565,11 +565,11 @@
 
 </td></tr>
 		<tr><td id="docfooter">
 			Page was generated with
 			<img src="candydoc/img/candydoc.gif" style="vertical-align:middle; position:relative; top:-1px">
-			on Wed Nov 24 20:33:10 2010
+			on Wed Nov 24 21:12:49 2010
 
 		</td></tr>
 	</table>
 </div>
 <script>

Index: doc/eval.html
==================================================================
--- doc/eval.html
+++ doc/eval.html
@@ -130,11 +130,11 @@
 
 </td></tr>
 		<tr><td id="docfooter">
 			Page was generated with
 			<img src="candydoc/img/candydoc.gif" style="vertical-align:middle; position:relative; top:-1px">
-			on Wed Nov 24 20:33:10 2010
+			on Wed Nov 24 21:12:49 2010
 
 		</td></tr>
 	</table>
 </div>
 <script>

Index: doc/failure.html
==================================================================
--- doc/failure.html
+++ doc/failure.html
@@ -180,11 +180,11 @@
 
 </td></tr>
 		<tr><td id="docfooter">
 			Page was generated with
 			<img src="candydoc/img/candydoc.gif" style="vertical-align:middle; position:relative; top:-1px">
-			on Wed Nov 24 20:33:10 2010
+			on Wed Nov 24 21:12:49 2010
 
 		</td></tr>
 	</table>
 </div>
 <script>

Index: doc/fresh.html
==================================================================
--- doc/fresh.html
+++ doc/fresh.html
@@ -48,11 +48,11 @@
 
 </td></tr>
 		<tr><td id="docfooter">
 			Page was generated with
 			<img src="candydoc/img/candydoc.gif" style="vertical-align:middle; position:relative; top:-1px">
-			on Wed Nov 24 20:33:10 2010
+			on Wed Nov 24 21:12:49 2010
 
 		</td></tr>
 	</table>
 </div>
 <script>

Index: doc/index.html
==================================================================
--- doc/index.html
+++ doc/index.html
@@ -116,15 +116,15 @@
      | "(" E ")"                 <font color=green># ただの括弧</font>
      | E BINOP E                 <font color=green># 二項演算子いろいろ</font>
      | E "."  ID                 <font color=green># テーブルのフィールドアクセス</font>
      | E ".?" ID                 <font color=green># テーブルにフィールドがあるか否か</font>
      | E "{" ENTRYS "}"          <font color=green># テーブル拡張</font>
-     | "if" "(" E ")" "{" E "}"
-     | "if" "(" E ")" "{" E "}" "else "{" E "}"
+     | "if" E ("then"|":"|"then" ":") E
+     | "if" E ("then"|":"|"then" ":") E "else" ":"? E
 
    <font color=green># パターンマッチ</font>
-     | "case" "(" E ")" ("when" "(" PATTERN ")" "{" E "}")* 
+     | "case" E ("when" PATTERN ":" E )* 
 
          where PATTERN ::= 式がだいたいなんでも書ける気がする
 
    <font color=green># レイヤ指定実行</font>
      | LAYER "(" E ")"
@@ -147,12 +147,12 @@
 <tt>.</tt> と <tt>.?</tt> を使った関数呼び出し式に書き換えられていますが、
 規則の詳細を説明するのが面倒なので適当に想像して下さい。
 他の書き換えはこんな感じです。
 </p>
 <pre>
-    if (E) {E}          ⇒ if( E, fun(){E}, fun(){} )
-    if (E) {E} else {E} ⇒ if( E, fun(){E}, fun(){E} )
+    if E then E         ⇒ if( E, fun(){E}, fun(){} )
+    if E then E else E  ⇒ if( E, fun(){E}, fun(){E} )
     E BINOP E           ⇒ BINOP(E, E)
     { ENTRIES }         ⇒ {}{ ENTRIES }
     {}                  ⇒ {}()
     E {ID:E, ...}       ⇒ .=(E, ID, E) { ... }
 </pre>
@@ -168,11 +168,12 @@
    var x = E ; E
    def x = E ; E
 </pre>
 <p>
 以上のどれも同じ意味なので、なんとなく関数型っぽく書きたい気分の日は <tt>let in</tt> を、
-手続き型っぽく書きたい気分の日は <tt>var ;</tt> を使うとよいでしょう。
+手続き型っぽく書きたい気分の日は <tt>var ;</tt> を使うとよいと思います。
+<tt>if then else</tt> も微妙にコロンがあったりなかったりバリエーションがありますが好みで使います。
 </p>
 <p>
 関数を宣言するときは、<tt>fun</tt> や <tt>λ</tt> を省略できます。
 以下の書き換えが行われます。
 </p>
@@ -210,11 +211,11 @@
 </pre>
 <p>
 一方で、"let rec" のような特別な構文はありませんが、
 </p>
 <pre>
-   let f = fun(x) { if(x==0){1}else{x*f(x-1)} } in f(10)  <font color=green># 3628800</font>
+   let f = fun(x) { if x==0 then 1 else x*f(x-1) } in f(10)  <font color=green># 3628800</font>
 </pre>
 <p>
 再帰的な関数定義なども、おそらく意図されたとおりに動きます。
 内部の詳細は、諸般の事情により、
 マジカルで破壊的なスコープ規則になっているのですが、
@@ -317,14 +318,14 @@
 リストの 2n 番目と 2n+1 番目を足して長さを半分にする関数：
 </p>
 <pre>
     def adjSum(lst)
     {
-      case( lst )
-        when( {car:x, cdr:{car: y, cdr:z}} ) { {car: x+y, cdr: adjSum(z)} }
-        when( {car:x, cdr:{}} ) { lst }
-        when( {} ) { {} }
+      case lst
+        when {car:x, cdr:{car: y, cdr:z}}: {car: x+y, cdr: adjSum(z)}
+        when {car:x, cdr:{}}: lst
+        when {}: {}
     }
 </pre>
 <p>
 動かすときには、処理系がそれっぽい if-then-else に展開しています。
 <tt>when</tt> を上から試していって、最初にマッチしたところを実行します。
@@ -341,23 +342,23 @@
 値パターンは、任意の式が書けます。その式を評価した結果と <tt>==</tt> ならマッチします。
 外で束縛された変数を値パターンとして配置、は直接はできないので
 </p>
 <pre>
    var x = 123;
-   case( foo )
-     when( {val: x+0} ) { ... } <font color=green># これは任意の {val:123} と同じ</font>
-     when( {val: x} ) { ... }   <font color=green># これは任意の foo.?val なら常にマッチ</font>
+   case foo
+     when {val: x+0}: ... <font color=green># これは {val:123} と同じ</font>
+     when {val: x}:   ... <font color=green># これは任意の foo.?val なら常にマッチ</font>
 </pre>
 <p>
 適当にちょっと複雑な式にしてやるとよいかも（裏技）。
 </p>
 <p>
 テーブルパターンは、書かれたキーが全てあればマッチします。
 <tt>{a: _}</tt> は、<tt>.a</tt> を持ってさえいればマッチするので、
 <tt>{a: 123, b: 456}</tt> なんかにもマッチします。
 なので、リストに対するパターンを書くときには、car/cdr の場合を先に書かないと
-<tt>when({})</tt> を上に書くと全部マッチしちゃいます。注意。
+<tt>when {}</tt> を上に書くと全部マッチしちゃいます。注意。
 </p>
 </dd>
 </dl>
 <script>explorer.outline.decSymbolLevel();</script>
 
@@ -802,11 +803,11 @@
 
 </td></tr>
 		<tr><td id="docfooter">
 			Page was generated with
 			<img src="candydoc/img/candydoc.gif" style="vertical-align:middle; position:relative; top:-1px">
-			on Wed Nov 24 20:33:08 2010
+			on Wed Nov 24 21:12:48 2010
 
 		</td></tr>
 	</table>
 </div>
 <script>

Index: doc/layer.html
==================================================================
--- doc/layer.html
+++ doc/layer.html
@@ -152,11 +152,11 @@
 
 </td></tr>
 		<tr><td id="docfooter">
 			Page was generated with
 			<img src="candydoc/img/candydoc.gif" style="vertical-align:middle; position:relative; top:-1px">
-			on Wed Nov 24 20:33:10 2010
+			on Wed Nov 24 21:12:49 2010
 
 		</td></tr>
 	</table>
 </div>
 <script>

Index: doc/lex.html
==================================================================
--- doc/lex.html
+++ doc/lex.html
@@ -309,11 +309,11 @@
 
 </td></tr>
 		<tr><td id="docfooter">
 			Page was generated with
 			<img src="candydoc/img/candydoc.gif" style="vertical-align:middle; position:relative; top:-1px">
-			on Wed Nov 24 20:33:10 2010
+			on Wed Nov 24 21:12:49 2010
 
 		</td></tr>
 	</table>
 </div>
 <script>

Index: doc/main.html
==================================================================
--- doc/main.html
+++ doc/main.html
@@ -64,11 +64,11 @@
 
 </td></tr>
 		<tr><td id="docfooter">
 			Page was generated with
 			<img src="candydoc/img/candydoc.gif" style="vertical-align:middle; position:relative; top:-1px">
-			on Wed Nov 24 20:33:10 2010
+			on Wed Nov 24 21:12:49 2010
 
 		</td></tr>
 	</table>
 </div>
 <script>

Index: doc/parse.html
==================================================================
--- doc/parse.html
+++ doc/parse.html
@@ -58,11 +58,11 @@
 
 </td></tr>
 		<tr><td id="docfooter">
 			Page was generated with
 			<img src="candydoc/img/candydoc.gif" style="vertical-align:middle; position:relative; top:-1px">
-			on Wed Nov 24 20:33:10 2010
+			on Wed Nov 24 21:12:49 2010
 
 		</td></tr>
 	</table>
 </div>
 <script>

Index: doc/repl.html
==================================================================
--- doc/repl.html
+++ doc/repl.html
@@ -158,11 +158,11 @@
 
 </td></tr>
 		<tr><td id="docfooter">
 			Page was generated with
 			<img src="candydoc/img/candydoc.gif" style="vertical-align:middle; position:relative; top:-1px">
-			on Wed Nov 24 20:33:10 2010
+			on Wed Nov 24 21:12:49 2010
 
 		</td></tr>
 	</table>
 </div>
 <script>

Index: doc/runtime.html
==================================================================
--- doc/runtime.html
+++ doc/runtime.html
@@ -44,11 +44,11 @@
 
 </td></tr>
 		<tr><td id="docfooter">
 			Page was generated with
 			<img src="candydoc/img/candydoc.gif" style="vertical-align:middle; position:relative; top:-1px">
-			on Wed Nov 24 20:33:10 2010
+			on Wed Nov 24 21:12:49 2010
 
 		</td></tr>
 	</table>
 </div>
 <script>

Index: doc/test.html
==================================================================
--- doc/test.html
+++ doc/test.html
@@ -145,11 +145,11 @@
 
 </td></tr>
 		<tr><td id="docfooter">
 			Page was generated with
 			<img src="candydoc/img/candydoc.gif" style="vertical-align:middle; position:relative; top:-1px">
-			on Wed Nov 24 20:33:10 2010
+			on Wed Nov 24 21:12:49 2010
 
 		</td></tr>
 	</table>
 </div>
 <script>

Index: doc/tricks.html
==================================================================
--- doc/tricks.html
+++ doc/tricks.html
@@ -234,11 +234,11 @@
 
 </td></tr>
 		<tr><td id="docfooter">
 			Page was generated with
 			<img src="candydoc/img/candydoc.gif" style="vertical-align:middle; position:relative; top:-1px">
-			on Wed Nov 24 20:33:10 2010
+			on Wed Nov 24 21:12:49 2010
 
 		</td></tr>
 	</table>
 </div>
 <script>

Index: doc/value.html
==================================================================
--- doc/value.html
+++ doc/value.html
@@ -164,11 +164,11 @@
 
 </td></tr>
 		<tr><td id="docfooter">
 			Page was generated with
 			<img src="candydoc/img/candydoc.gif" style="vertical-align:middle; position:relative; top:-1px">
-			on Wed Nov 24 20:33:10 2010
+			on Wed Nov 24 21:12:49 2010
 
 		</td></tr>
 	</table>
 </div>
 <script>

Index: doc/valueconv.html
==================================================================
--- doc/valueconv.html
+++ doc/valueconv.html
@@ -86,11 +86,11 @@
 
 </td></tr>
 		<tr><td id="docfooter">
 			Page was generated with
 			<img src="candydoc/img/candydoc.gif" style="vertical-align:middle; position:relative; top:-1px">
-			on Wed Nov 24 20:33:10 2010
+			on Wed Nov 24 21:12:49 2010
 
 		</td></tr>
 	</table>
 </div>
 <script>

Index: index.dd
==================================================================
--- index.dd
+++ index.dd
@@ -67,15 +67,15 @@
      | "(" E ")"                 $(D_COMMENT # ただの括弧)
      | E BINOP E                 $(D_COMMENT # 二項演算子いろいろ)
      | E "."  ID                 $(D_COMMENT # テーブルのフィールドアクセス)
      | E ".?" ID                 $(D_COMMENT # テーブルにフィールドがあるか否か)
      | E "{" ENTRYS "}"          $(D_COMMENT # テーブル拡張)
-     | "if" "(" E ")" "{" E "}"
-     | "if" "(" E ")" "{" E "}" "else "{" E "}"
+     | "if" E ("then"|":"|"then" ":") E
+     | "if" E ("then"|":"|"then" ":") E "else" ":"? E
 
    $(D_COMMENT # パターンマッチ)
-     | "case" "(" E ")" ("when" "(" PATTERN ")" "{" E "}")* 
+     | "case" E ("when" PATTERN ":" E )* 
 
          where PATTERN ::= 式がだいたいなんでも書ける気がする
 
    $(D_COMMENT # レイヤ指定実行)
      | LAYER "(" E ")"
@@ -90,12 +90,12 @@
 <tt>.</tt> と <tt>.?</tt> を使った関数呼び出し式に書き換えられていますが、
 規則の詳細を説明するのが面倒なので適当に想像して下さい。
 他の書き換えはこんな感じです。
 </p>
 <pre>
-    if (E) {E}          ⇒ if( E, fun(){E}, fun(){} )
-    if (E) {E} else {E} ⇒ if( E, fun(){E}, fun(){E} )
+    if E then E         ⇒ if( E, fun(){E}, fun(){} )
+    if E then E else E  ⇒ if( E, fun(){E}, fun(){E} )
     E BINOP E           ⇒ BINOP(E, E)
     { ENTRIES }         ⇒ {}{ ENTRIES }
     {}                  ⇒ {}()
     E {ID:E, ...}       ⇒ .=(E, ID, E) { ... }
 </pre>
@@ -111,11 +111,12 @@
    var x = E ; E
    def x = E ; E
 </pre>
 <p>
 以上のどれも同じ意味なので、なんとなく関数型っぽく書きたい気分の日は <tt>let in</tt> を、
-手続き型っぽく書きたい気分の日は <tt>var ;</tt> を使うとよいでしょう。
+手続き型っぽく書きたい気分の日は <tt>var ;</tt> を使うとよいと思います。
+<tt>if then else</tt> も微妙にコロンがあったりなかったりバリエーションがありますが好みで使います。
 </p>
 <p>
 関数を宣言するときは、<tt>fun</tt> や <tt>λ</tt> を省略できます。
 以下の書き換えが行われます。
 </p>
@@ -145,11 +146,11 @@
 </pre>
 <p>
 一方で、"let rec" のような特別な構文はありませんが、
 </p>
 <pre>
-   let f = fun(x) { if(x==0){1}else{x*f(x-1)} } in f(10)  $(D_COMMENT # 3628800)
+   let f = fun(x) { if x==0 then 1 else x*f(x-1) } in f(10)  $(D_COMMENT # 3628800)
 </pre>
 <p>
 再帰的な関数定義なども、おそらく意図されたとおりに動きます。
 内部の詳細は、諸般の事情により、
 マジカルで破壊的なスコープ規則になっているのですが、
@@ -224,14 +225,14 @@
 リストの 2n 番目と 2n+1 番目を足して長さを半分にする関数：
 </p>
 <pre>
     def adjSum(lst)
     {
-      case( lst )
-        when( {car:x, cdr:{car: y, cdr:z}} ) { {car: x+y, cdr: adjSum(z)} }
-        when( {car:x, cdr:{}} ) { lst }
-        when( {} ) { {} }
+      case lst
+        when {car:x, cdr:{car: y, cdr:z}}: {car: x+y, cdr: adjSum(z)}
+        when {car:x, cdr:{}}: lst
+        when {}: {}
     }
 </pre>
 <p>
 動かすときには、処理系がそれっぽい if-then-else に展開しています。
 <tt>when</tt> を上から試していって、最初にマッチしたところを実行します。
@@ -248,23 +249,23 @@
 値パターンは、任意の式が書けます。その式を評価した結果と <tt>==</tt> ならマッチします。
 外で束縛された変数を値パターンとして配置、は直接はできないので
 </p>
 <pre>
    var x = 123;
-   case( foo )
-     when( {val: x+0} ) { ... } $(D_COMMENT # これは任意の {val:123} と同じ)
-     when( {val: x} ) { ... }   $(D_COMMENT # これは任意の foo.?val なら常にマッチ)
+   case foo
+     when {val: x+0}: ... $(D_COMMENT # これは {val:123} と同じ)
+     when {val: x}:   ... $(D_COMMENT # これは任意の foo.?val なら常にマッチ)
 </pre>
 <p>
 適当にちょっと複雑な式にしてやるとよいかも（裏技）。
 </p>
 <p>
 テーブルパターンは、書かれたキーが全てあればマッチします。
 <tt>{a: _}</tt> は、<tt>.a</tt> を持ってさえいればマッチするので、
 <tt>{a: 123, b: 456}</tt> なんかにもマッチします。
 なので、リストに対するパターンを書くときには、car/cdr の場合を先に書かないと
-<tt>when({})</tt> を上に書くと全部マッチしちゃいます。注意。
+<tt>when {}</tt> を上に書くと全部マッチしちゃいます。注意。
 </p>
 ))
 )
 ))
 

Index: polemy/eval.d
==================================================================
--- polemy/eval.d
+++ polemy/eval.d
@@ -397,11 +397,11 @@
 	auto e = new Evaluator;
 	enrollRuntimeLibrary(e);
 	assert_eq( e.evalString(`
 @@3(x){x};
 def incr(x) { x+1 };
-@ 3 incr(x) {@value( if(@ 3(x)+1< 3){@ 3(x)+1}else{0} )};
+@ 3 incr(x) {@value( if @ 3(x)+1< 3 then @3(x)+1 else 0 )};
 def fb(n @value @3) { @3(n) };
 fb(incr(incr(incr(0))))
 	`), new IntValue(BigInt(0)) );
 }
 

Index: polemy/parse.d
==================================================================
--- polemy/parse.d
+++ polemy/parse.d
@@ -299,30 +299,23 @@
 		return new Var(pos, lex.front.str);
 	}
 
 	AST parseIfAfterIf(LexPosition pos)
 	{
-		eat("(", "after if");
 		auto cond = E(0);
-		eat(")", "after if condition");
-		auto thenPos = lex.front.pos;
-		AST th;
-		if( tryEat("{") ) {
-			th = Body();
-			eat("}", "after if-then body");
-		} else {
-			th = E(0);
+		auto thenPos = currentPosition();
+		if(!tryEat(":")) {
+			eat("then", "after if condition");
+			tryEat(":");
 		}
+		AST th = E(0);
 		auto el = doNothingExpression();
-		auto elsePos = (lex.empty ? LexPosition.dummy : lex.front.pos);
-		if( tryEat("else") )
-			if( tryEat("{") ) {
-				el = Body();
-				eat("}", "after else body");
-			} else {
-				el = E(0);
-			}
+		auto elsePos = currentPosition();
+		if( tryEat("else") ) {
+			tryEat(":");
+			el = E(0);
+		}
 		return new App(pos, new Var(pos,"if"), cond, new Fun(thenPos,[],th), new Fun(elsePos,[],el));
 	}
 
 	AST parsePatternMatch(LexPosition pos)
 	{
@@ -586,13 +579,13 @@
 	assert_eq(parseString(`var x=1;2;`), let("x","",intl(1),intl(2)));
 	assert_eq(parseString(`def x=1`), let("x","",intl(1),var("x")));
 	assert_eq(parseString(`@val x=1;`), let("x","@val",intl(1),var("x")));
 	assert_eq(parseString(`@typ x="#int";`), let("x","@typ",strl("#int"),var("x")));
 	assert_eq(parseString(`f(1,2)`), call(var("f"),intl(1),intl(2)));
-	assert_eq(parseString(`if(1){2}`), call(var("if"),intl(1),fun([],intl(2)),fun([],strl("(empty function body)"))));
-	assert_eq(parseString(`if(1){2}else{3}`), call(var("if"),intl(1),fun([],intl(2)),fun([],intl(3))));
-	assert_eq(parseString(`if(1){}else{3}()()`),
+	assert_eq(parseString(`if 1 then 2`), call(var("if"),intl(1),fun([],intl(2)),fun([],strl("(empty function body)"))));
+	assert_eq(parseString(`if 1 then: 2 else(3)`), call(var("if"),intl(1),fun([],intl(2)),fun([],intl(3))));
+	assert_eq(parseString(`(if 1 then () else 3)()()`),
 		call(call(call(var("if"),intl(1),fun([],strl("(empty function body)")),fun([],intl(3))))));
 	assert_eq(parseString(`1+2*3`), call(var("+"),intl(1),call(var("*"),intl(2),intl(3))));
 	assert_eq(parseString(`(1+2)*3`), call(var("*"),call(var("+"),intl(1),intl(2)),intl(3)));
 	assert_eq(parseString(`1*(2+3)`), call(var("*"),intl(1),call(var("+"),intl(2),intl(3))));
 	assert_eq(parseString(`1*2+3`), call(var("+"),call(var("*"),intl(1),intl(2)),intl(3)));
@@ -607,11 +600,11 @@
 	`),
 		let("x", "", intl(100), let("y", "", intl(200), call(var("+"), var("x"), var("y"))))
 	);
 
 	assert_eq(parseString(`
-		var fac = fun(x){ if(x <= 1) {1} else {x*fac(x-1)} };
+		var fac = fun(x){ if(x <= 1) then 1 else x*fac(x-1) };
 		fac(10)
 	`),
 		let("fac", "", fun(["x"],
 			call(var("if"),
 				call(var("<="), var("x"), intl(1)),
@@ -668,16 +661,5 @@
 		case 1
 			when {aaaa:@value(x)}: 1
 			when {aaaa:{bbb:_}, ccc:123}: 1
 	`));
 }
-
-unittest
-{
-	// test for omitting { .. }
-	assert_nothrow(parseString(`
-		if(1) 2 else 3
-	`));
-	assert_nothrow(parseString(`
-		if(1) x{y:z} else 3
-	`));
-}

Index: sample/fib.pmy
==================================================================
--- sample/fib.pmy
+++ sample/fib.pmy
@@ -1,15 +1,14 @@
 def fib(x)
 {
-	if( x < 2 ) { 1 }
-	else        { fib(x-1) + fib(x-2) }
+	if x<2 then 1 else fib(x-1) + fib(x-2)
 };
 
-let upto = λ(n, f){
-	if( n > 0 ){ upto(n-1,f) };
+let upto = fun(n, f){
+	if n > 0: upto(n-1,f);
 	f(n)
 };
 
 var compose = fun(f,g){ fun(x){f(g(x))} };
 var "<<" = compose;
 
 upto(16, print<<fib);

Index: sample/fizzbuzz.pmy
==================================================================
--- sample/fizzbuzz.pmy
+++ sample/fizzbuzz.pmy
@@ -4,17 +4,15 @@
 
 @@3(x){x};
 @@5(x){x};
 @@15(x){x};
 def incr(x) { x+1 };
-@ 3 incr(x) {@value( if(@ 3(x)+1< 3){@ 3(x)+1}else{0} )};
-@ 5 incr(x) {@value( if(@ 5(x)+1< 5){@ 5(x)+1}else{0} )};
-@15 incr(x) {@value( if(@15(x)+1<15){@15(x)+1}else{0} )};
+@ 3 incr(x) {@value( if(@ 3(x)+1< 3)then@ 3(x)+1 else 0 )};
+@ 5 incr(x) {@value( if(@ 5(x)+1< 5)then@ 5(x)+1 else 0 )};
+@15 incr(x) {@value( if(@15(x)+1<15)then@15(x)+1 else 0 )};
 
 def fb(n @value @3 @5 @15) {
-  print(
-	if( @15(n) ) { if( @5(n) ) { if( @3(n) ) { n } else { "Fizz" } } else { "Buzz" } } else { "FizzBuzz" }
-  );
+  print( if @15(n): if @5(n): if @3(n): n else: "Fizz" else "Buzz" else "FizzBuzz" );
   fb(incr(n))
 };
 
 fb(0)

Index: sample/macro.pmy
==================================================================
--- sample/macro.pmy
+++ sample/macro.pmy
@@ -1,40 +1,40 @@
 @macro twice = fun(x) { x; x };
 @macro max(x,y) {
   var _x = x; # no hygenic macro btw....
   var _y = y; # no hygenic macro btw....
-  if(_x<_y){_y}else{_x}
+  if(_x<_y)then _y else _x
 };
 def maxNormal(x,y) {
-  if(x<y){y}else{x}
+  if(x<y)
+	then: y
+	else: x
 };
 @macro maxBad(x,y) {
-  if(x<y){y}else{x}
+  if x<y: y else: x
 };
 
 @macro LetItBe(x, y) { let it = x in y };
 
 @macro pow10(x) {
   @value(
     def pow(y, n) {
-      if( n == 1 ) { y }
-      else {
+      if( n == 1 ) then y
+      else
         @macro( @value(y) * @value(pow(y,n-1)) )
-      }
     }
     in
       pow(@macro(x+1),10)
   )
 };
 
 @macro pow10Hard(x) {
   @value(
     def pow(x, n) {
-      if( n == 1 ) { x }
-      else {
+      if( n == 1 ) then x 
+      else
         @macro( @value(x) * @value(pow(x,n-1)) )
-      }
     }
     in
       pow(@macro(x+1),10)
   )
 };

Index: sample/pattern.pmy
==================================================================
--- sample/pattern.pmy
+++ sample/pattern.pmy
@@ -1,27 +1,27 @@
 def fromTo(x, y)
 {
-  if( x > y ) { {} }
-  else        { {car: x, cdr: fromTo(x+1,y)} }
+  if  x > y : {}
+  else       : {car: x, cdr: fromTo(x+1,y)}
 };
 
 def length(lst)
 {
-  case( lst )
-    when( {car:_, cdr:x} ) { length(x)+1 }
-    when( _ ) { 0 }
+  case lst
+    when {car:_, cdr:x}: length(x)+1
+    when _:  0
 };
 
 def adjSum(lst)
 {
-  case( lst )
-    when( {car:x, cdr:{car: y, cdr:z}} ) { {car: x+y, cdr: adjSum(z)} }
-    when( {car:x, cdr:{}} ) { {car: x, cdr: {}} }
-    when( {} ) { {} }
+  case lst
+    when {car:x, cdr:{car: y, cdr:z}} : {car: x+y, cdr: adjSum(z)}
+    when {car:x, cdr:{}}: {car: x, cdr: {}} 
+    when {}: {} 
 };
 
 var xs = fromTo(1,101);
 
 print( xs );
 print( length(xs) );
 print( adjSum(xs) );
 print( length(adjSum(xs)) );

Index: sample/type.pmy
==================================================================
--- sample/type.pmy
+++ sample/type.pmy
@@ -1,27 +1,26 @@
 @@type = fun(x){
-  if( _isint(x) ) { "int" }
-  else { if( _isstr(x) ) { "str" }
-  else { if( _isundefined(x) ) { "undefined" }
-  else { "any" }}}
+  if _isint(x): "int"
+  else if _isstr(x): "str" 
+  else if _isundefined(x): "undefined"
+  else: "any"
 };
 
 def binop(a,b,c) {
   fun(x,y){@value(
-    if( @type(x)=="undefined" || @type(y)=="undefined" ) { "undefined" } else {
-      if( @type(x)==a && @type(y)==b ) { c } else { "error" }
-    }
+    if( @type(x)=="undefined" || @type(y)=="undefined" ) then "undefined" else
+      if( @type(x)==a && @type(y)==b ) then c else "error"
   )}
 };
 
 @type "+" = binop("int", "int", "int");
 @type "-" = binop("int", "int", "int");
 @type "<" = binop("int", "int", "int");
 @type ">" = binop("int", "int", "int");
 
 def mergeType(a,b) {
-  if( a == "undefined" ) { if(b=="undefined"){"error"}else{b} } else { a }
+  if( a == "undefined" ): ( if(b=="undefined"):"error" else b  ) else ( a )
 };
 
 @type "if" = fun(c,t,e) {@value(
- if(@type(c)=="int" ) { mergeType(@type(t()), @type(e())) } else { "error" }
+ if(@type(c)=="int" ): mergeType(@type(t()), @type(e())) else : "error"
 )};