Give a semantic error on with statements

Pretty straightforward. Giving a semantic error on all 'with' statements, and skipping type check for them.
yeah we've always just thrown up our hands on everything in a 'with' block