Update Mission: digimon.rkt: Implement gen:custom-write