Word Equations in Synergy with Regular Constraints (Technical Report)