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 19:09:32 2010
+			on Wed Nov 24 20:33:10 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 19:09:32 2010
+			on Wed Nov 24 20:33:10 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 19:09:32 2010
+			on Wed Nov 24 20:33:10 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 19:09:32 2010
+			on Wed Nov 24 20:33:10 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 19:09:32 2010
+			on Wed Nov 24 20:33:10 2010
 
 		</td></tr>
 	</table>
 </div>
 <script>

Index: doc/index.html
==================================================================
--- doc/index.html
+++ doc/index.html
@@ -286,18 +286,24 @@
 <ul>
   <li>整数:     <tt>0</tt>, <tt>123</tt>, <tt>456666666666666666666666666666666666666789</tt>, ...</li>
   <li>文字列:   <tt>"hello, world!"</tt>, ...</li>
   <li>関数:     <tt>fun(x){x+1}</tt></li>
   <li>テーブル: <tt>{car: 1, cdr: {car: 2, cdr: {}}}</tt></li>
-  <li>未定義値: (テーブルの、存在しないフィールドにアクセスしたりすると作れます)</li>
+  <li>未定義値: (undefined。特殊なケースで作られます)</li>
 </ul>
 <p>
 関数はいわゆる「クロージャ」です。静的スコープで外側の環境にアクセスできます。
 テーブルはいわゆるプロトタイプチェーンを持っていて、
 自分にないフィールドの場合は親に問い合わせが行く感じになっていますが、
 フィールドの書き換えがないので、これは特に意味ないかもしれない…。
 </p>
+<p>
+また、リストを扱うために、いわゆる「cons リスト」を使います。
+空リストを <tt>{}</tt>、１個以上要素があるものを <tt>{car: 先頭要素, cdr: 二番目以降のリスト}</tt>
+という形で。この形でリストを扱わなければならないという決まりはありませんが、
+この形は特別扱いされて <tt>print</tt> で綺麗に出力されたりします。
+</p>
 </dd>
 
 <script>explorer.outline.writeEnabled = true;</script>
 <dt><span class="decl">
 <span class="currsymbol">パターンマッチ</span>
@@ -610,10 +616,28 @@
 
    Here, x is a syntax tree but n is an actual integer. If you read carefully,
    you should get what is going on. Basically, @macro can be considered like
    quasiquoting and @value to be an escape from it.
 </pre>
+<p>
+構文木がどのようなテーブルで渡されてくるかについては、ソースドキュメントの
+<a href="http://www.kmonos.net/repos/polemy/doc/tip/doc/ast.html">polemy.ast</a>
+のページをご覧下さい。例えば変数名を表す <code>Var</code> クラスには、
+継承の分も合わせて
+<tt><a href="http://www.kmonos.net/repos/polemy/doc/tip/doc/failure.html">LexPosition</a> pos;</tt>
+と <tt>string name;</tt> の２つのメンバがあるので
+</p>
+<pre>
+    { is:   "Var",
+      pos:  {filename:"foo.pmy", lineno:123, column:45},
+      name: "x" }
+</pre>
+<p>
+こんな感じのテーブルになります。
+クラス名が <tt>is</tt> フィールドに、メンバ変数はそのままの名前で入ります。
+配列メンバは cons リストになって入ってきます。
+</p>
 </dd>
 
 <script>explorer.outline.writeEnabled = true;</script>
 <dt><span class="decl">
 <span class="currsymbol">微妙な挙動</span>
@@ -778,11 +802,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 19:09:31 2010
+			on Wed Nov 24 20:33:08 2010
 
 		</td></tr>
 	</table>
 </div>
 <script>

Index: doc/layer.html
==================================================================
--- doc/layer.html
+++ doc/layer.html
@@ -90,19 +90,20 @@
 <dd>Predefined layer for macro run (@lay() becomes AST)<br><br>
 
 </dd>
 
 <script>explorer.outline.writeEnabled = true;</script>
-<dt><span class="decl">
-<span class="currsymbol">AstLayer</span>
-<script>explorer.outline.addDecl('AstLayer');</script>
+<dt><span class="decl">bool 
+<span class="currsymbol">isUserDefinedLayer</span>
+<script>explorer.outline.addDecl('isUserDefinedLayer');</script>
 
+(Layer <span class="funcparam">lay</span>);
 </span></dt>
 <script>explorer.outline.writeEnabled = false;</script>
 
 
-<dd>Predefined layer for macro run (never invoke macro)<br><br>
+<dd>True if it is a user-defined layer<br><br>
 
 </dd>
 
 <script>explorer.outline.writeEnabled = true;</script>
 <dt><span class="decl">bool 
@@ -151,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 19:09:32 2010
+			on Wed Nov 24 20:33:10 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 19:09:32 2010
+			on Wed Nov 24 20:33:10 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 19:09:32 2010
+			on Wed Nov 24 20:33:10 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 19:09:32 2010
+			on Wed Nov 24 20:33:10 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 19:09:32 2010
+			on Wed Nov 24 20:33:10 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 19:09:32 2010
+			on Wed Nov 24 20:33:10 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 19:09:32 2010
+			on Wed Nov 24 20:33:10 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 19:09:32 2010
+			on Wed Nov 24 20:33:10 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 19:09:32 2010
+			on Wed Nov 24 20:33:10 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 19:09:32 2010
+			on Wed Nov 24 20:33:10 2010
 
 		</td></tr>
 	</table>
 </div>
 <script>

Index: index.dd
==================================================================
--- index.dd
+++ index.dd
@@ -201,18 +201,24 @@
 <ul>
   <li>整数:     <tt>0</tt>, <tt>123</tt>, <tt>456666666666666666666666666666666666666789</tt>, ...</li>
   <li>文字列:   <tt>"hello, world!"</tt>, ...</li>
   <li>関数:     <tt>fun(x){x+1}</tt></li>
   <li>テーブル: <tt>{car: 1, cdr: {car: 2, cdr: {}}}</tt></li>
-  <li>未定義値: (テーブルの、存在しないフィールドにアクセスしたりすると作れます)</li>
+  <li>未定義値: (undefined。特殊なケースで作られます)</li>
 </ul>
 <p>
 関数はいわゆる「クロージャ」です。静的スコープで外側の環境にアクセスできます。
 テーブルはいわゆるプロトタイプチェーンを持っていて、
 自分にないフィールドの場合は親に問い合わせが行く感じになっていますが、
 フィールドの書き換えがないので、これは特に意味ないかもしれない…。
 </p>
+<p>
+また、リストを扱うために、いわゆる「cons リスト」を使います。
+空リストを <tt>{}</tt>、１個以上要素があるものを <tt>{car: 先頭要素, cdr: 二番目以降のリスト}</tt>
+という形で。この形でリストを扱わなければならないという決まりはありませんが、
+この形は特別扱いされて <tt>print</tt> で綺麗に出力されたりします。
+</p>
 ))
 $(SECTION パターンマッチ, $(SECBODY
 <p>
 適当に実装されたパターンマッチがあります。
 リストの 2n 番目と 2n+1 番目を足して長さを半分にする関数：
@@ -489,10 +495,28 @@
 
    Here, x is a syntax tree but n is an actual integer. If you read carefully,
    you should get what is going on. Basically, @macro can be considered like
    quasiquoting and @value to be an escape from it.
 </pre>
+<p>
+構文木がどのようなテーブルで渡されてくるかについては、ソースドキュメントの
+<a href="http://www.kmonos.net/repos/polemy/doc/tip/doc/ast.html">polemy.ast</a>
+のページをご覧下さい。例えば変数名を表す <code>Var</code> クラスには、
+継承の分も合わせて
+<tt><a href="http://www.kmonos.net/repos/polemy/doc/tip/doc/failure.html">LexPosition</a> pos;</tt>
+と <tt>string name;</tt> の２つのメンバがあるので
+</p>
+<pre>
+    { is:   "Var",
+      pos:  {filename:"foo.pmy", lineno:123, column:45},
+      name: "x" }
+</pre>
+<p>
+こんな感じのテーブルになります。
+クラス名が <tt>is</tt> フィールドに、メンバ変数はそのままの名前で入ります。
+配列メンバは cons リストになって入ってきます。
+</p>
 ))
 $(SECTION 微妙な挙動, $(SECBODY
 <pre>
    (rawmacro) レイヤの話