やること

• パス形式とBNF形式がほんとに同じことを確認する
• パス形式とBNF形式のそれぞれ、または共通のバリデーションアルゴリズム
• エラーメッセージの解釈と、現実的に使いやすいエラー方式
• ヘッダ情報と環境変数に関する定式化
• XML, JSON, Xion まとめる。
• 特にXionタグを$tagで埋め込む方法。
• $tagがユニオンにも流用できるかどうか
• 直積、直和、キーガード、タグ付けなどを含むスクリプト構文と意味論
• penetrating path に関する構文と意味論