A Primitive Calculus for Module Systems