v0.0.0-no-dinat

Initial release of formalization, consisting of:

• Type system for terms and regions
• Equational theory for terms and regions
• Proof of completeness of equational theory for terms
• Most of proof of completeness of equational theory for regions, except that for control-flow graphs, which requires dinaturality