ExprIRef: Minor cleanups

  Delete DefinitionI synonym
  DefM -> DefIM
Load: Minor cleanups

  Lens.indexing Lens.traverse -> Lens.traversed
  itraverseOf -> %%@~
  Int -> SubexpressionIndex
Sugar.Convert.Hole: IdTranslations type synonym
TODO comment
ExpressionEdit: Don't pass duplicate information in args