Fix the type errors with the latest version of eliom

Patch for eliom will surely follow