Allow casting for LHS of conditions.

And document them!