On constraining the class of transformational languages