interpreter: interpret `with` statement