Making flat modules easy

Hmm, this looks like this earlier suggestion: pre-RFC: inline mod.