Index: doc/index.html
==================================================================
--- doc/index.html
+++ doc/index.html
@@ -433,11 +433,11 @@
     3
 </pre>
 他のレイヤで動かしてみましょう。適当に。「<tt>@hoge</tt> レイヤ」で。
 <pre>
     &gt;&gt; @hoge( 3 )
-    polemy.failure.RuntimeException@C:\Develop\Projects\Polemy\polemy\eval.d(138):
+    polemy.failure.RuntimeException@polemy\eval.d(138):
     [<REPL>:4:8] lift function for @hoge is not registered
 </pre>
 <p>
 エラーになりました。Polemy のインタプリタは、起動時には、<tt>@value</tt>
 レイヤでのコードの意味しか知りません。<tt>@hoge</tt> レイヤでは <tt>3</tt>
@@ -465,20 +465,20 @@
 <p>
 では、1+2 を <tt>@hoge</tt> レイヤで動かしてみましょう。
 </p>
 <pre>
     &gt;&gt; @hoge( 1 + 2 )
-    polemy.failure.RuntimeException@C:\Develop\Projects\Polemy\polemy\eval.d(466):
+    polemy.failure.RuntimeException@polemy\eval.d(466):
     [<REPL>:3:7] only @value layer can call native function: +
     [<REPL>:3:7] +
 </pre>
 <p>
 まだエラーですね。これは要するに "+" の意味がわからない、と言っています。
 <font color=red><b>レイヤ指定変数定義式</b></font> で、"+" の意味を教えてあげます。
 </p>
 <pre>
-    &gt;&gt; @hoge "+" = fun(x, y) {x}
+    &gt;&gt; @hoge + = fun(x, y) {x}
     (function:182eca0:18435e0)
     &gt;&gt; @hoge( 3 + 4 )
     6
 </pre>
 <p>
@@ -487,14 +487,14 @@
 <p>
 他の組み込み関数の意味も決めてみましょう。この <tt>@hoge</tt> レイヤでは、
 引き算のつもりで書いたコードが、掛け算になってしまうのだ！
 </p>
 <pre>
-    &gt;&gt; @hoge "-" = fun(x, y) {x * y}
+    &gt;&gt; @hoge - = fun(x, y) {x * y}
     (function:1b4c6a0:1b4fbe0)
     &gt;&gt; @hoge( 5 - 6 )
-    polemy.failure.RuntimeException@C:\Develop\Projects\Polemy\polemy\eval.d(469):
+    polemy.failure.RuntimeException@polemy\eval.d(469):
     [<REPL>:3:24] only @value layer can call native function: *
     [<REPL>:3:24] *
     [<REPL>:4:8] -
 </pre>
 <p>
@@ -507,11 +507,11 @@
 ここは、「普通の」意味の掛け算を使いたいのです。
 この部分については、<tt>@value</tt> レイヤで計算して欲しい。
 そんなときは、レイヤ指定式を使います。
 </p>
 <pre>
-    &gt;&gt; @hoge "-" = fun(x, y) {<b>@value(@hoge(x) * @hoge(y))</b>}
+    &gt;&gt; @hoge - = fun(x, y) {<b>@value(@hoge(x) * @hoge(y))</b>}
     (function:1b086c0:1b4fbe0)
     &gt;&gt; @hoge( 5 - 6 )
     120
 </pre>
 <p>
@@ -708,13 +708,13 @@
        else if ty=="runtime error" then tx
        else if tx=="int" &amp;&amp; ty=="int" then "int"
        else "type error"
     )};
 
-    @type "+" = int_int_int;
-    @type "-" = int_int_int;
-    @type "&lt;" = int_int_int;
+    @type + = int_int_int;
+    @type - = int_int_int;
+    @type &lt; = int_int_int;
 </pre>
 <pre>
     &gt;&gt; @type( 1 + 2 )
     int
     &gt;&gt; @type( 1 + "foo" )
@@ -724,11 +724,11 @@
 「実行時エラーについては、それが起きなければ返すはずの型」を計算するという定義に、
 ここではしています。さらに（ちょっと手抜きで int 以外を考えていない）if の型定義を考えると、
 こんな雰囲気。
 </p>
 <pre>
-   @type "if" (c, t, e) {@value(
+   @type if (c, t, e) {@value(
       if( @type(c)=="int" || @type(c)=="runtime error" ) then
          @type( int_int_int(t(), e()) )
       else
          "type error"
    )};
@@ -1011,11 +1011,11 @@
  <dd><p>
 これはエラーになります。
 </p>
 <pre>
     &gt;&gt; let _ = (@macro twice(x) {x;x} in twice(print("Hello")))
-    polemy.failure.RuntimeException@C:\Develop\Projects\Polemy\polemy\value.d(109):
+    polemy.failure.RuntimeException@polemy\value.d(109):
     [<REPL>:2:35] 'twice' is not set in @value layer
 </pre>
 <p>
 どういうことかというと、<tt>@macro</tt> で定義したマクロはいつから使えるようになるかという話で、
 この <tt>@macro twice(x) {x;x} in ...</tt> の部分は <tt>@value</tt> レイヤの式なので、
@@ -1160,11 +1160,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 Tue Nov 30 10:23:12 2010
+			on Thu Dec  2 09:14:39 2010
 
 		</td></tr>
 	</table>
 </div>
 <script>

Index: index.dd
==================================================================
--- index.dd
+++ index.dd
@@ -320,11 +320,11 @@
     3
 </pre>
 他のレイヤで動かしてみましょう。適当に。「<tt>@hoge</tt> レイヤ」で。
 <pre>
     &gt;&gt; @hoge( 3 )
-    polemy.failure.RuntimeException@C:\Develop\Projects\Polemy\polemy\eval.d(138):
+    polemy.failure.RuntimeException@polemy\eval.d(138):
     [<REPL>:4:8] lift function for @hoge is not registered
 </pre>
 <p>
 エラーになりました。Polemy のインタプリタは、起動時には、<tt>@value</tt>
 レイヤでのコードの意味しか知りません。<tt>@hoge</tt> レイヤでは <tt>3</tt>
@@ -352,20 +352,20 @@
 <p>
 では、1+2 を <tt>@hoge</tt> レイヤで動かしてみましょう。
 </p>
 <pre>
     &gt;&gt; @hoge( 1 + 2 )
-    polemy.failure.RuntimeException@C:\Develop\Projects\Polemy\polemy\eval.d(466):
+    polemy.failure.RuntimeException@polemy\eval.d(466):
     [<REPL>:3:7] only @value layer can call native function: +
     [<REPL>:3:7] +
 </pre>
 <p>
 まだエラーですね。これは要するに "+" の意味がわからない、と言っています。
 $(RED $(B レイヤ指定変数定義式)) で、"+" の意味を教えてあげます。
 </p>
 <pre>
-    &gt;&gt; @hoge "+" = fun(x, y) {x}
+    &gt;&gt; @hoge + = fun(x, y) {x}
     (function:182eca0:18435e0)
     &gt;&gt; @hoge( 3 + 4 )
     6
 </pre>
 <p>
@@ -374,14 +374,14 @@
 <p>
 他の組み込み関数の意味も決めてみましょう。この <tt>@hoge</tt> レイヤでは、
 引き算のつもりで書いたコードが、掛け算になってしまうのだ！
 </p>
 <pre>
-    &gt;&gt; @hoge "-" = fun(x, y) {x * y}
+    &gt;&gt; @hoge - = fun(x, y) {x * y}
     (function:1b4c6a0:1b4fbe0)
     &gt;&gt; @hoge( 5 - 6 )
-    polemy.failure.RuntimeException@C:\Develop\Projects\Polemy\polemy\eval.d(469):
+    polemy.failure.RuntimeException@polemy\eval.d(469):
     [<REPL>:3:24] only @value layer can call native function: *
     [<REPL>:3:24] *
     [<REPL>:4:8] -
 </pre>
 <p>
@@ -394,11 +394,11 @@
 ここは、「普通の」意味の掛け算を使いたいのです。
 この部分については、<tt>@value</tt> レイヤで計算して欲しい。
 そんなときは、レイヤ指定式を使います。
 </p>
 <pre>
-    &gt;&gt; @hoge "-" = fun(x, y) {$(B @value(@hoge(x) * @hoge(y)))}
+    &gt;&gt; @hoge - = fun(x, y) {$(B @value(@hoge(x) * @hoge(y)))}
     (function:1b086c0:1b4fbe0)
     &gt;&gt; @hoge( 5 - 6 )
     120
 </pre>
 <p>
@@ -555,13 +555,13 @@
        else if ty=="runtime error" then tx
        else if tx=="int" && ty=="int" then "int"
        else "type error"
     )};
 
-    @type "+" = int_int_int;
-    @type "-" = int_int_int;
-    @type "<" = int_int_int;
+    @type + = int_int_int;
+    @type - = int_int_int;
+    @type &lt; = int_int_int;
 </pre>
 <pre>
     &gt;&gt; @type( 1 + 2 )
     int
     &gt;&gt; @type( 1 + "foo" )
@@ -571,11 +571,11 @@
 「実行時エラーについては、それが起きなければ返すはずの型」を計算するという定義に、
 ここではしています。さらに（ちょっと手抜きで int 以外を考えていない）if の型定義を考えると、
 こんな雰囲気。
 </p>
 <pre>
-   @type "if" (c, t, e) {@value(
+   @type if (c, t, e) {@value(
       if( @type(c)=="int" || @type(c)=="runtime error" ) then
          @type( int_int_int(t(), e()) )
       else
          "type error"
    )};
@@ -798,11 +798,11 @@
 <p>
 これはエラーになります。
 </p>
 <pre>
     &gt;&gt; let _ = (@macro twice(x) {x;x} in twice(print("Hello")))
-    polemy.failure.RuntimeException@C:\Develop\Projects\Polemy\polemy\value.d(109):
+    polemy.failure.RuntimeException@polemy\value.d(109):
     [<REPL>:2:35] 'twice' is not set in @value layer
 </pre>
 <p>
 どういうことかというと、<tt>@macro</tt> で定義したマクロはいつから使えるようになるかという話で、
 この <tt>@macro twice(x) {x;x} in ...</tt> の部分は <tt>@value</tt> レイヤの式なので、

Index: readme.txt
==================================================================
--- readme.txt
+++ readme.txt
@@ -1,9 +1,9 @@
 -----------------------------------------------------------------------------
   Polemy 0.1.0
                                                  by k.inaba (www.kmonos.net)
-                                                               Nov 25, 2010
+                                                               Dec  4, 2010
 -----------------------------------------------------------------------------
 
 [How to Build]
 
   - Install DMD

Index: sample/fib.pmy
==================================================================
--- sample/fib.pmy
+++ sample/fib.pmy
@@ -8,26 +8,26 @@
 	if n > 0: upto(n-1,f);
 	f(n)
 };
 
 var compose = fun(f,g){ fun(x){f(g(x))} };
-var "<<" = compose;
+var << = compose;
 
 upto(18, print<<fib);
 
 
 ######################################
 # Omake. Feel the automatic memoization!
 
 # Set up a mirror layer (do-the-same-thing layer) of @value
 @@m(x){x};
-@m "+" (x,y) { @value(@m(x)+@m(y)) };
-@m "-" (x,y) { @value(@m(x)-@m(y)) };
-@m "<" (x,y) { @value(@m(x)<@m(y)) };
-@m "if" (c,t,e) { @value(if @m(c) then @m(t()) else @m(e())) };
+@m + (x,y) { @value(@m(x)+@m(y)) };
+@m - (x,y) { @value(@m(x)-@m(y)) };
+@m < (x,y) { @value(@m(x)<@m(y)) };
+@m if (c,t,e) { @value(if @m(c) then @m(t()) else @m(e())) };
 
 # Helper function to call fib in layer @m
 def fibm(x @value) { @m(fib(@value(x))) };
 
 # User defined layers are automatically memoized.
 # So this is much faster.
 upto(18, print<<fibm);

DELETED sample/fizzbuzz.pmy
Index: sample/fizzbuzz.pmy
==================================================================
--- sample/fizzbuzz.pmy
+++ sample/fizzbuzz.pmy
@@ -1,18 +0,0 @@
-#
-# Not at all a good example of the usage of layers, but anyway...
-#
-
-@@3(x){x};
-@@5(x){x};
-@@15(x){x};
-def incr(x) { x+1 };
-@ 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" );
-  fb(incr(n))
-};
-
-fb(0)

ADDED   sample/lazy.pmy
Index: sample/lazy.pmy
==================================================================
--- sample/lazy.pmy
+++ sample/lazy.pmy
@@ -0,0 +1,27 @@
+# I'm lazy. So I define only the primitives needed for tarai.
+@@lazy(x) { fun(){x} };
+@lazy - (x,y) { fun(){@value(@lazy(x)() - @lazy(y)()) } };
+@lazy <= (x,y) { fun(){@value(@lazy(x)() <= @lazy(y)()) } };
+@lazy if (c,t,e) { fun(){@value(if @lazy(c)() then @lazy(t())() else @lazy(e())()) } };
+
+def tarai(x,y,z)
+{
+	if x<=y then
+		y
+	else
+		tarai( tarai(x-1,y,z), tarai(y-1,z,x), tarai(z-1,x,y) )
+};
+
+# print( tarai(12, 6, 0) );
+print( @lazy( tarai(12, 6, 0) )() );
+
+
+#### Omake: only Z is made lazy.
+def taraiZ(x,y,z @lazy)
+{
+	if x<=y then
+		y
+	else
+		taraiZ( taraiZ(x-1,y,z), taraiZ(y-1,@lazy(z)(),x), taraiZ(@lazy(z)()-1,x,y) )
+};
+print( taraiZ(12,6,0) );

Index: sample/type.pmy
==================================================================
--- sample/type.pmy
+++ sample/type.pmy
@@ -63,29 +63,29 @@
 		else t0
 	)}
 };
 
 # type annotation for built-in ops
-@type "+" = Tbin("int", "int", "int");
-@type "-" = Tbin("int", "int", "int");
-@type "*" = Tbin("int", "int", "int");
-@type "/" = Tbin("int", "int", "int");
-@type "%" = Tbin("int", "int", "int");
-@type "&&" = Tbin("int", "int", "int");
-@type "||" = Tbin("int", "int", "int");
+@type + = Tbin("int", "int", "int");
+@type - = Tbin("int", "int", "int");
+@type * = Tbin("int", "int", "int");
+@type / = Tbin("int", "int", "int");
+@type % = Tbin("int", "int", "int");
+@type && = Tbin("int", "int", "int");
+@type || = Tbin("int", "int", "int");
 @type print = fun(x){x};
 @type gensym = fun(){"str"};
 @type argv = {list: "str"};
 @type rand = Tuni("int","int");
-@type "~" = Tbinany("str");
-@type "<" = Tbinany("int");
-@type "<=" = Tbinany("int");
-@type ">" = Tbinany("int");
-@type ">=" = Tbinany("int");
-@type "==" = Tbinany("int");
-@type "!=" = Tbinany("int");
-@type "if" (c,t,e) {@value(
+@type ~ = Tbinany("str");
+@type < = Tbinany("int");
+@type <= = Tbinany("int");
+@type > = Tbinany("int");
+@type >= = Tbinany("int");
+@type == = Tbinany("int");
+@type != = Tbinany("int");
+@type if (c,t,e) {@value(
 	if @type(c)=="RE": "RE"
 	else if @type(c)!="int": "TE"
 	else mergeType( @type(t()), @type(e()) );
 )};
 @type _isint = Tuniany("int");
@@ -96,17 +96,17 @@
 
 ###################################
 
 # for lists
 @type "{}"() {@value( {list: "RE"} )};
-@type ".?"(t, s) {@value(
+@type .? (t, s) {@value(
 	if @type(t)=="RE": "RE"
 	else if @type(t)=="TE": "TE"
 	else if _istbl( @type(t) ): "int"
 	else "TE"
 )};
-@type ".="(t, s@value, v) {@value(
+@type .= (t, s@value, v) {@value(
 	var tt = @type(t);
 	if tt == "TE": "TE"
 	else if tt == "RE": "RE"
 	else if _istbl(tt) && tt.?list:
 		if s == "car":
@@ -116,11 +116,11 @@
 		else:
 			tt
 	else:
 		"TE"
 )};
-@type "."(t, s@value) {@value(
+@type . (t, s@value) {@value(
 	var tt = @type(t);
 	if tt == "TE": "TE"
 	else if tt == "RE": "RE"
 	else if _istbl(tt) && tt.?list:
 		if s == "car":