polycode.fmt looks better than standard lhs2TeX.fmt
start editing Introduction section