Tools: autoload eliom.predef.syntax