Strongly typed equivilence expressions.
Type checking for if statements.