Adding basic REPL based on the one by @pchiusano at https://github.com/pchiusano/datalog-refactoring
Use transformers instead of mtl
Add a type signature to main
Warning cleanups