Give a semantic error on with statements

Pretty straightforward. Giving a semantic error on all 'with' statements, and skipping type check for them.
I am open to discussing checking the expression, but as @RyanCavanaugh says, skipping it is consistent with the old compiler.