Nitpick: Two submodules from two different repos, bearing the same name, shouldn't be considered as equal, should they?

If a `Submodule` turns into a snapshot, maybe should we add the `IndexCommitId`, `HeadCommitId`, `WorkdirCommitId` as contributors to the equality definition.