[Monad] Correct typing
[build] add a Makefile
Put more space
[Logic] Implement quantifiers