Added syntax specification to paper
Merge branch 'master' of https://github.com/susanctu/Haskell-In-Memory-DB