Typing for ternary expressions and if statements.