Type check the expression of the 'with' statement