Fixed part of #2, simplified spec

See [this](http://packassembler.github.io/QuickModDoc/qm_spec.html) if you want to know what it looks like now.
Haskell notation? Please use something easier to understand.