Inform about timeouts.
Print "unification" variables (existential variables scoped under parameters) as underscores in OCaml code annotations.