Add implication
Uses lambdas add biconditional and add tests
Add xor operator