Refine specification.lc's section about module and operators.