Tough constructions: Operator movement, null resumption, and semantic typing | Synapse