Formal modules
Merge pull request #136 from wiredearp/master

Formal modules