Improve codegen docs: address spotted confusions, hlist fix, typos, formatting