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

supersedes #611