Make pro-drop explicit. Some other small fixes in Structural.