Add support for the biconditional

[ixjf]

While not a part of Meaning and Argument, it can be handy, writing the same thing twice is not nclean especially if it's a long expression.