Title: Algebraic Theory of Module Systems