Enforce typeclasses on UpdateM and QueryM

Make UpdateM instance of State Monad
Make QueryM instance of Reader
Initial design of in-memory DB using Acid State
Update .gitignore