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? Took me a moment to figure out, should probably use something else.