導入したい機能

1. パターンの侵入性
2. 空セレクターを持つパターン
3. 組み込み変数から関数に
4. 関数（組み込み変数）の追加
5. マッチングのキャンセル機構
6. シーケンスパターンの導入

「パターンの侵入性」は既に論じた。他の項目を別々な記事にする。