DMPlex: type-annotate a few final loop variables