Generalise the type of synthesize, as suggested by Trac #1571

I have not looked at the details, but the type checker is happy with the
more general type, and more general types are usually a Good Thing.