転置規則
Exchange
型環境
を自由に並び替えて良いという規則
https://drive.google.com/file/d/1OxnETBYjtF7H9bRDtw5pmFpLzLC6lWjK/view
https://en.wikipedia.org/wiki/Structural_rule