Text this: The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy.