型を明示した変数の例を追加
型推論の説明にTAPLの注釈を追加
束縛の入れ子に関する説明を修正
変数内で値束縛する際の説明を修正
値を束縛した識別子を用いて別の束縛を行う説明を移動
if式の説明を全体的に見直し