Currently java.base is a loose module, it reads all unnamed modules.

We should re-examine this to see if this is really necessary. It will likely mean updating several places in java.base to add necessary read edges.

More generally, we should decide whether to drop loose-ness. Currently it's possible for a module to make itself loose by calling addReads(null) and it would be nice to get rid of that.