add news for HOLCF; fixed some typos and inaccuracies
add news for HOLCF; fixed some typos and inaccuracies

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle