Granular module use tracking for rule sets

[JLimperg]

See #278: for the purposes of shake, we track modules that are imported only for Aesop rule sets, but this is currently done in a very coarse way. We should refine it to prevent spurious dependencies.