message: Add holes to TODO list
diff: // - [x] let expressions
  // - [x] dependent functions
  // - [ ] dependent records
  +// - [ ] holes
  // - [ ] top-level items
  // - [ ] recursive definitions
  // - [ ] binary format descriptions
  