Give a semantic error on with statements

Pretty straightforward. Giving a semantic error on all 'with' statements, and skipping type check for them.
This seems wrong.  The *statement* of the 'with' block should not be checked, but the *expression* of the with block should still be checked.  Yes?