Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics