Update against eliom with services typing