Add type checking of expressions.