A calculus with lazy module operators