Removing useless constraints on service types in eliom_client