Emit code for asdl product types, improve generated documentation