Implemented coordination freedom, availability and well-typed specs.
Added some notes
Merge branch 'master' of github.com:kayceesrk/ec-debug