型表現の正規化

1. A?? → A?
2. (A?|B) → (A|B)? など
3. A? & B → A & B など
4. A? & B? → (A & B)?
5. bag [A?] → bag [A] (ハテナ定理には不要)
6. @name A? → @name A (ハテナ定理には不要)

ハテナ定理に必要なのは、演算子?, |, & に関する正規化だけ。