Add readme for Programming in Standard ML by Robert Harper.
Add short-circuit conditionals.