Improve codegen docs: address spotted confusions, hlist fix, typos, form...

...atting

review by @szeiger