Working on theorems, most test cases done. Many theorems to state with correct inductions.
Merge https://github.com/briangmilnes/CycloneCoqSemantics

Initial repository merged onto disk.