Type checking for conditions