Envelope Modules by Mutable Instruments