add tests into console
made store work in a very crude and ugly way
clean up insert type signature, change Makefile to use cabal exec