Extend API with nice shortcuts

Add new functions:
- mk_implies
- mk_and2, mk_or2
- mk_nand, mk_nand2
- mk_nor, mk_nor2

And define behaviors for `mk_and [||]` and others.