Some transformational extensions of Montague grammar