Formating errors
Add denotational syntax of WHILE
Add axiomatic syntax for while
Add direct denotational semantics of WHILE
Add continuation semantics for WHILE
Fix some errors
Merge branch 'master' into ls-while-sems