- don't keep unused template modules even if they are fully-specified
- don't reduce modules with unbound type parameters