Modules

Combine algebras in modules to describe compositional layers of logic