[Monad] Correct typing
[build] add a Makefile
Put more space
[Logic] Implement quantifiers
Merge pull request #1 from rafoo/master

Correct a typing issue + small changes