Change Dependency module to use the LocalIndex ADT

The whole Dependency module is pure now, no IO since it takes the indexes
as arguments, rather than the many more args required to do the IO to load
up the indexes. Much nicer. Also update all callers.