Floyd-Hoare lecture, with Unicode...

So, this works and renders well, but it needs to use xelatex as the LaTeX engine.

I can give up on the Unicode and use LaTeX encodings if needed.

Also I did not put the operational semantics rules, should I?