Correct program names; add repeated-write-lvar-wrong.hs in README.