Unification modulo Synchronous Distributivity