Added identifier hyperlinks. (Modified lhs2TeX required.)