Modules

Mus
Mu but with slightly more typing and strict constructors