Monkey-patch estraverse to recognize {type: 'File', program: ...}.