Give a semantic error on with statements

Pretty straightforward. Giving a semantic error on all 'with' statements, and skipping type check for them.
Agreed. Should be the `with` block.