Give a semantic error on with statements

Pretty straightforward. Giving a semantic error on all 'with' statements, and skipping type check for them.
small tweak.  can you just underline the 'while' token (i think you can get it with the scanner).  it seems weird to underling the expression since you're complaining about the 'while' block.