We need a proper reference on how codegen works, and this should be part of it. Context: #31 and #71