Semantics for Module Extraction

The remove case is still missing for QualInterface,